libutap
|
#include <cstdio>
#include <climits>
#include <vector>
#include <string>
#include <stdexcept>
#include <iostream>
#include <map>
#include <string.h>
#include <stdlib.h>
Enumerations | |
enum | type_t { CONST, CLOCK, VAR, META, COST, LOCATION, FIXED } |
enum | flags_t { NONE, COMMITTED, URGENT } |
Functions | |
bool | read (FILE *file, char *str, size_t n) |
void | loadIF (FILE *file) |
ostream & | operator<< (ostream &o, const State &state) |
ostream & | operator<< (ostream &o, const Transition &t) |
void | loadTrace (FILE *file) |
int | main (int argc, char *argv[]) |
Variables | |
vector< cell_t > | layout |
vector< int > | instructions |
vector< process_t > | processes |
vector< edge_t > | edges |
map< int, string > | expressions |
static size_t | processCount = 0 |
static size_t | variableCount = 0 |
static size_t | clockCount = 0 |
static vector< string > | clocks |
static vector< string > | variables |
static bound_t | infinity = { INT_MAX >> 1, 1 } |
static bound_t | zero = { 0, 0 } |
enum flags_t |
enum type_t |
void loadIF | ( | FILE * | file | ) |
References CLOCK, clockCount, clocks, COMMITTED, CONST, COST, edges, expressions, FIXED, instructions, layout, LOCATION, META, NONE, processCount, processes, read(), URGENT, VAR, variableCount, and variables.
Referenced by main().
void loadTrace | ( | FILE * | file | ) |
Referenced by main().
int main | ( | int | argc, |
char * | argv[] | ||
) |
References loadIF(), and loadTrace().
ostream& operator<< | ( | ostream & | o, |
const State & | state | ||
) |
References clockCount, clocks, layout, processCount, processes, variableCount, and variables.
ostream& operator<< | ( | ostream & | o, |
const Transition & | t | ||
) |
References edges, expressions, layout, processCount, and processes.
bool read | ( | FILE * | file, |
char * | str, | ||
size_t | n | ||
) |
Referenced by loadIF().
|
static |
Referenced by loadIF(), and operator<<().
|
static |
Referenced by loadIF(), and operator<<().
vector<edge_t> edges |
Referenced by UTAP::template_t::addEdge(), loadIF(), and operator<<().
map<int,string> expressions |
Referenced by loadIF(), and operator<<().
|
static |
vector<int> instructions |
Referenced by loadIF().
vector<cell_t> layout |
Referenced by loadIF(), and operator<<().
|
static |
Referenced by loadIF(), and operator<<().
vector<process_t> processes |
Referenced by loadIF(), and operator<<().
|
static |
Referenced by loadIF(), and operator<<().
|
static |
|
static |