#include <types.h>
Public Attributes | |
Polyhedron * | ValidityDomain |
evalue | EP |
_enumeration * | next |
|
Definition at line 152 of file types.h. Referenced by compute_poly(), Degenerate(), Domain_Enumerate(), Enumerate_NoParameters(), Enumeration_Free(), main(), and Polyhedron_Enumerate(). |
|
Definition at line 153 of file types.h. Referenced by compute_poly(), DMUnion(), Domain_Enumerate(), Enumerate_NoParameters(), Enumeration_Free(), IncludeInRes(), main(), Polyhedron_Enumerate(), Remove_Element(), and Remove_RedundantDomains(). |
|
Definition at line 151 of file types.h. Referenced by compute_poly(), DMUnion(), Domain_Enumerate(), Enumerate_NoParameters(), Enumeration_Free(), main(), Polyhedron_Enumerate(), and Remove_RedundantDomains(). |