syn::Atom | A moded atom |
util::cronos | Models a time cronometer |
clpt::IECheck | Implements the IEInfer procedure |
clpt::ISolve | Abstract class for type inference and checking |
util::LinearSystem | Models a linear system Ax <= b |
clpt::LP2Check | Implements the LP2Check procedure |
clpt::LPCheck | Implements the LPInfer procedure using Minkowski's decomposition |
syn::Mode | Mode for a predicate |
util::nocopy | Base class to prevent copy and assignment operator |
clpt::ParCheck | Implements the ParCheck procedure |
syn::ParseAction | Callback interface for the Parsing class |
syn::ParseAtom | Callback class collecting the atom predicate and the list of its arguments |
syn::ParseVar | Callback 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_util | Utility methods for (parameterized) polyhedra |
clpt::POLYCheck | Implements the POLYInfer procedure |
syn::Program | A moded set of rules |
syn::Rule | A program rule |
util::string_util | Static utitity functions involving strings |
util::tokenizer | Extracts tokens separated by a char from a buffer |
syn::Type | Type element |
syn::TypeDecl | Type declaration |
util::unique | Global unique identifier |
util::verbose | Global verbose level |