Main Page | Namespace List | Class Hierarchy | Class List | Directories | File List | Namespace Members | Class Members | File Members

tracer.cpp File Reference

#include <cstdio>
#include <climits>
#include <algorithm>
#include <string>
#include <vector>
#include <list>
#include <functional>
#include "utap/utap.h"

Functions

template<class T>
const T & ith (const list< T > &collection, int i)
void addVariable (vector< string > &variables, string prefix, string name, list< int > &dimensions)
void analyzeVariable (process_t *process, const variable_t variable)
ostream & operator<< (ostream &o, const State &state)
ostream & operator<< (ostream &o, const Transition &t)
void loadTrace (const char *trace)
void loadModel (const char *model)
int main (int argc, char *argv[])

Variables

static TimedAutomataSystem ta
static int processCount
static int variableCount
static int clockCount
static vector< string > clocks
static vector< string > variables
static bound_t infinity = { INT_MAX >> 1, 1 }
static bound_t zero = { 0, 0 }

Function Documentation

void addVariable vector< string > &  variables,
string  prefix,
string  name,
list< int > &  dimensions
 

void analyzeVariable process_t process,
const variable_t  variable
 

template<class T>
const T& ith const list< T > &  collection,
int  i
 

void loadModel const char *  model  ) 
 

void loadTrace const char *  trace  ) 
 

int main int  argc,
char *  argv[]
 

ostream& operator<< ostream &  o,
const Transition &  t
 

ostream& operator<< ostream &  o,
const State &  state
 


Variable Documentation

int clockCount [static]
 

vector<string> clocks [static]
 

bound_t infinity = { INT_MAX >> 1, 1 } [static]
 

int processCount [static]
 

TimedAutomataSystem ta [static]
 

int variableCount [static]
 

vector<string> variables [static]
 

bound_t zero = { 0, 0 } [static]
 


Generated on Thu Feb 17 15:20:58 2005 for libutap by  doxygen 1.4.1