|
Functions |
static bool | isCost (expression_t expr) |
static bool | isVoid (expression_t expr) |
static bool | isScalar (expression_t expr) |
static bool | isInteger (expression_t expr) |
static bool | isIntegral (expression_t expr) |
static bool | isClock (expression_t expr) |
static bool | isRecord (expression_t expr) |
static bool | isArray (expression_t expr) |
static bool | isDiff (expression_t expr) |
static bool | isInvariant (expression_t expr) |
static bool | isGuard (expression_t expr) |
static bool | isConstraint (expression_t expr) |
static bool | isInvariantWR (expression_t expr) |
| Returns true iff type is a valid invariant.
|
static bool | isAssignable (type_t type) |
| Returns true if values of this type can be assigned.
|
static bool | isConstant (type_t type) |
| Returns true if and only if all elements of the type are constant.
|
static bool | isNonConstant (type_t type) |
| Returns true if and only if all elements of the type are not constant.
|
static bool | contains (frame_t frame, symbol_t symbol) |
static bool | validReturnType (type_t type) |
static int | channelCapability (type_t type) |
| Returns a value indicating the capabilities of a channel.
|
static bool | isSameScalarType (type_t t1, type_t t2) |
| Returns true if two scalar types are name-equivalent.
|
bool | parseXTA (FILE *file, TimedAutomataSystem *system, bool newxta) |
bool | parseXTA (const char *buffer, TimedAutomataSystem *system, bool newxta) |
int32_t | parseXMLBuffer (const char *buffer, TimedAutomataSystem *system, bool newxta) |
int32_t | parseXMLFile (const char *file, TimedAutomataSystem *system, bool newxta) |
expression_t | parseExpression (const char *str, TimedAutomataSystem *system, bool newxtr) |