Package Specification
Basic type definitions and services for conditions, events,
data-items, etc.
with SYSTEM; use SYSTEM;
with INTRINSICS; use INTRINSICS ;Services for timeouts and scheduled actions
with TIMEOUTS; use TIMEOUTS ;Rational Statemate queues operations
with QUEUES; use QUEUES ;Rational Statemate string operations
with STM_STRINGS; use STM_STRINGS ;Rational Statemate operations for bit-arrays
with BIT_OPERATIONS; use BIT_OPERATIONS ;Rational Statemate predefined functions
with STD_FUNCS; use STD_FUNCS ;GDS containing the model’s global types and constants
with UNCHECKED_CONVERSION;
with RAIL_DICTIONARY; use RAIL_DICTIONARY;Generic behavior modules instantiated in module RAIL_CROSS with TOP_LEVEL; use TOP_LEVEL; elements shared by modules but not defined in GDS’s
with g_GEN_BARRIER;
with g_GEN_ROAD_CROSS;
with g_GEN_TRAIN;