#include <cmath>
#include <cstdio>
#include <cassert>
#include "utap/utap.h"
#include "utap/typechecker.h"
#include "utap/systembuilder.h"
Functions | |
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) |
bool | parseXMLBuffer (const char *buffer, ErrorHandler *error, TimedAutomataSystem *system, bool newxta) |
bool | parseXMLFile (const char *file, ErrorHandler *error, TimedAutomataSystem *system, bool newxta) |
expression_t | parseExpression (const char *str, ErrorHandler *error, TimedAutomataSystem *system, bool newxtr) |
|
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. |
|
|
|
|
|
|
|
|
|
|