#include <IbexQuimper.h>
Public Member Functions | |
| QuimperParser (const char *filename) | |
Public Attributes | |
| Env * | env |
| Space * | space |
| const vector< const Constraint * > * | constraints |
| const IdTable< Contractor * > | contractors |
| ibex::QuimperParser::QuimperParser | ( | const char * | filename | ) |
Parse a file and build Quimper objects
The environment
The space
| const vector<const Constraint*>* ibex::QuimperParser::constraints |
The constraints
| const IdTable<Contractor*> ibex::QuimperParser::contractors |
The contractors
1.5.5