ExploPara Class Reference

#include <automata.h>

List of all members.

Public Attributes

list< StateParastatePara


Detailed Description

Definition at line 53 of file automata.h.


Member Data Documentation

Definition at line 56 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:31 2008 for unification by  doxygen 1.5.6