Automata Class Reference

#include <automata.h>

Collaboration diagram for Automata:

Collaboration graph
[legend]

List of all members.

Public Member Functions

bool isIntersect (Automata *au, int size)
 Automata (Condition *n, std::map< int, int > *numvars)
 Automata (Condition *n)
 ~Automata ()
void display (ostream &o)

Public Attributes

Statesi
int cvalue
int nvars
vector< int > a
int eqSize


Detailed Description

Definition at line 59 of file automata.h.


Constructor & Destructor Documentation

Automata::Automata ( Condition n,
std::map< int, int > *  numvars 
)

A constructor that put the equation under the form : N = cvalue (from N = a) OR N -aM = cvalue (from N = aM + b) OR N - M - P = 0 = cvalue (from N = M + P) OR N - M = 0 = cvalue (from N = M) and build the associated Automata

We're now in the middle of the constructor : in a[] the coefficients of the NumVars, in cvalue the result (right part of the equation), in numvars[] the map between a NumericalVar* and its integer indice, in numvars->size() the size of the bits[] table of the Transitions.

Definition at line 69 of file automata.cpp.

References a, State::addTransition(), cvalue, Transition::display(), State::display(), NumericalVar::id, mycout, Condition::n1, nvars, si, and State::value.

Here is the call graph for this function:

Automata::Automata ( Condition n  ) 

Definition at line 257 of file automata.cpp.

Automata::~Automata (  ) 

Definition at line 260 of file automata.cpp.


Member Function Documentation

bool Automata::isIntersect ( Automata au,
int  size 
)

Definition at line 11 of file automata.cpp.

References si, and State::step.

void Automata::display ( ostream &  o  ) 

Definition at line 263 of file automata.cpp.

References cvalue, State::display(), mycout, and si.

Referenced by Unification::verifValidPresburger().

Here is the call graph for this function:


Member Data Documentation

Definition at line 62 of file automata.h.

Referenced by Automata(), display(), and isIntersect().

Definition at line 63 of file automata.h.

Referenced by Automata(), and display().

Definition at line 64 of file automata.h.

Referenced by Automata().

vector<int> Automata::a

Definition at line 65 of file automata.h.

Referenced by Automata().

Definition at line 66 of file automata.h.


The documentation for this class was generated from the following files:

Generated on Thu Jun 19 19:14:29 2008 for unification by  doxygen 1.5.6