Groupe Class Reference

#include <automata.h>

List of all members.

Public Attributes

list< Automata * > autos


Detailed Description

Definition at line 18 of file automata.h.


Member Data Documentation

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