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) |