| 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