#include <cmath>
#include <cstdio>
#include <cassert>
#include <list>
#include <stdexcept>
#include <boost/tuple/tuple.hpp>
#include "utap/utap.h"
#include "utap/typechecker.h"
#include "utap/systembuilder.h"
Functions | |
static bool | isCost (expression_t expr) |
static bool | isVoid (expression_t expr) |
static bool | isInteger (expression_t expr) |
static bool | isIntegral (expression_t expr) |
static bool | isClock (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 | isFormula (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 | 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) |
static int channelCapability | ( | type_t | type | ) | [static] |
Returns a value indicating the capabilities of a channel.
For urgent channels this is 0, for non-urgent broadcast channels this is 1, and in all other cases 2. An argument to a channel parameter must have at least the same capability as the parameter.
static bool isAssignable | ( | type_t | type | ) | [static] |
Returns true if values of this type can be assigned.
This is the case for integers, booleans, clocks, cost, scalars and arrays and records of these. E.g. channels and processes are not assignable.
static bool isClock | ( | expression_t | expr | ) | [static] |
static bool isConstraint | ( | expression_t | expr | ) | [static] |
static bool isCost | ( | expression_t | expr | ) | [static] |
static bool isDiff | ( | expression_t | expr | ) | [static] |
static bool isFormula | ( | expression_t | expr | ) | [static] |
static bool isGuard | ( | expression_t | expr | ) | [static] |
static bool isInteger | ( | expression_t | expr | ) | [static] |
static bool isIntegral | ( | expression_t | expr | ) | [static] |
static bool isInvariant | ( | expression_t | expr | ) | [static] |
static bool isInvariantWR | ( | expression_t | expr | ) | [static] |
Returns true iff type is a valid invariant.
A valid invariant is either an invariant expression or an integer expression.
Returns true if two scalar types are name-equivalent.
static bool isVoid | ( | expression_t | expr | ) | [static] |
expression_t parseExpression | ( | const char * | str, | |
TimedAutomataSystem * | system, | |||
bool | newxtr | |||
) |
int32_t parseXMLBuffer | ( | const char * | buffer, | |
TimedAutomataSystem * | system, | |||
bool | newxta | |||
) |
int32_t parseXMLFile | ( | const char * | file, | |
TimedAutomataSystem * | system, | |||
bool | newxta | |||
) |
bool parseXTA | ( | const char * | buffer, | |
TimedAutomataSystem * | system, | |||
bool | newxta | |||
) |
bool parseXTA | ( | FILE * | file, | |
TimedAutomataSystem * | system, | |||
bool | newxta | |||
) |
static bool validReturnType | ( | type_t | type | ) | [static] |