Typing linear constraints Class List

Here are the classes, structs, unions and interfaces with brief descriptions:
syn::AtomA moded atom
util::cronosModels a time cronometer
clpt::IECheckImplements the IEInfer procedure
clpt::ISolveAbstract class for type inference and checking
util::LinearSystemModels a linear system Ax <= b
clpt::LP2CheckImplements the LP2Check procedure
clpt::LPCheckImplements the LPInfer procedure using Minkowski's decomposition
syn::ModeMode for a predicate
util::nocopyBase class to prevent copy and assignment operator
clpt::ParCheckImplements the ParCheck procedure
syn::ParseActionCallback interface for the Parsing class
syn::ParseAtomCallback class collecting the atom predicate and the list of its arguments
syn::ParseVarCallback class collecting the list of variables typed by a provided type
syn::Parsing< F >Methods for parsing terms and atoms with callback actions
util::poly_utilUtility methods for (parameterized) polyhedra
clpt::POLYCheckImplements the POLYInfer procedure
syn::ProgramA moded set of rules
syn::RuleA program rule
util::string_utilStatic utitity functions involving strings
util::tokenizerExtracts tokens separated by a char from a buffer
syn::TypeType element
syn::TypeDeclType declaration
util::uniqueGlobal unique identifier
util::verboseGlobal verbose level

Generated on Sun Nov 23 14:52:40 2008 for Typing linear constraints by  doxygen 1.5.4