|
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 | isValue (expression_t expr) |
static bool | isClock (expression_t expr) |
static bool | isRecord (expression_t expr) |
static bool | isDiff (expression_t expr) |
static bool | isInvariant (expression_t expr) |
static bool | isInvariantWR (expression_t expr) |
| Returns true iff type is a valid invariant.
|
static bool | isGuard (expression_t expr) |
| Returns true iff type is a valid guard.
|
static bool | isConstraint (expression_t expr) |
static int | channelCapability (type_t type) |
| Returns a value indicating the capabilities of a channel.
|
bool | parseXTA (FILE *file, ErrorHandler *error, TimedAutomataSystem *system, bool newxta) |
bool | parseXTA (const char *buffer, ErrorHandler *error, TimedAutomataSystem *system, bool newxta) |
int32_t | parseXMLBuffer (const char *buffer, ErrorHandler *error, TimedAutomataSystem *system, bool newxta) |
int32_t | parseXMLFile (const char *file, ErrorHandler *error, TimedAutomataSystem *system, bool newxta) |
expression_t | parseExpression (const char *str, ErrorHandler *error, TimedAutomataSystem *system, bool newxtr) |