---

_enumeration Struct Reference

#include <types.h>

List of all members.

Public Attributes
Polyhedron *	ValidityDomain
evalue	EP
_enumeration *	next

---

Member Data Documentation

evalue _enumeration::EP

Definition at line 152 of file types.h. Referenced by compute_poly(), Degenerate(), Domain_Enumerate(), Enumerate_NoParameters(), Enumeration_Free(), main(), and Polyhedron_Enumerate().

struct _enumeration* _enumeration::next

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().

Polyhedron* _enumeration::ValidityDomain

Definition at line 151 of file types.h. Referenced by compute_poly(), DMUnion(), Domain_Enumerate(), Enumerate_NoParameters(), Enumeration_Free(), IncludeInRes(), main(), Polyhedron_Enumerate(), and Remove_RedundantDomains().

---

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

• types.h

---