#include <cmath>
#include <cstdio>
#include <cassert>
#include "utap/utap.hh"
#include "utap/typechecker.hh"
#include "utap/systembuilder.hh"
Functions | |
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) |
|
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. |
|
|
|
|
|
|
|
|