| Aggregator | Abstract class for an Aggregator |
| AggregatorMean | Mean aggregator |
| AggregatorSum | Sum aggregator |
| ExistOptVar | Existential optimization variable |
| Heap< C > | |
| Implicative | |
| Implicative::Opts | |
| MySpace | A simple extension of Gecode::Space class |
| OptVar | Abstract class for an optimization variable |
| QSolver | |
| Strategy | Strategy of a QCSP+ problem |
| StrategyImp | |
| StrategyNode | |
| UnivOptVar | Universal optimization variable (aggregator result) |
1.5.2