StatePara Class Reference

#include <automata.h>

List of all members.

Public Attributes

list< State * > actives


Detailed Description

Definition at line 47 of file automata.h.


Member Data Documentation

Definition at line 50 of file automata.h.

Referenced by Unification::verifValidPresburger().


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

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