Class List

Here are the classes, structs, unions and interfaces with brief descriptions:

iegenlib::Conjunction	Class containing sets of all the equalities and inequalities
iegenlib::Environment
EnvironmentTest
ExceptionTestExp	Class to test exception handling in expression/ methods
ExceptionTestParser	Class to test exception handling in parser/ methods
ExceptionTestSetRelation	Class to test exception handling in set_relation/ methods
iegenlib::Exp	An affine expression that allows uninterpreted function call terms
ExpTest
iegenlib::Relation	A SparseConstraints class that represents a Relation
iegenlib::Set	A SparseConstraints class that represents a Set
SetRelationTest
iegenlib::SparseConstraints	Base class that contains the conjunctions and a pointer to an environment
iegenlib::Term	A coefficient multiplied by one. Subclasses are multiplied by other entities
iegenlib::TupleElemDecl	Info about a tuple element, which is a constant or a variable
iegenlib::TupleVarTerm	Represents a coefficient multiplied by a tuple variable
iegenlib::UFCallTerm	Represents a coefficient multiplied by an uninterpreted function call
iegenlib::VarTerm	Represents a coefficient multiplied by a variable or symbolic constant
yy_buffer_state
yy_trans_info
yyalloc
YYSTYPE