Modules | |
Linear expressions and relations | |
Linear expressions can be freely composed of sums and differences of integer variables (Gecode::IntVar) or Boolean variables (Gecode::BoolVar) possibly with integer coefficients and integer constants. | |
Linear float expressions and relations | |
Linear float expressions can be freely composed of sums and differences of float variables (Gecode::FloatVar) with float coefficients and float constants. | |
Set expressions and relations | |
Set expressions and relations can be freely composed of variables with the usual connectives. | |
Boolean expressions | |
Boolean expressions can be freely composed of variables with the usual connectives and reified linear expressions. | |
Posting of expressions and relations | |
Arithmetic functions | |
Transcendental functions | |
Trigonometric functions | |
Channel functions | |
Aliases for integer constraints | |
Contains definitions of common constraints which have different names in Gecode. | |
Aliases for set constraints | |
Contains definitions of common constraints which have different names in Gecode. | |
Support for cost-based optimization | |
Provides for minimizing or maximizing the cost value as defined by a cost-member function of a space. | |
Classes | |
class | Gecode::REG |
Regular expressions over integer values. More... | |
class | Gecode::Matrix< A > |
Matrix-interface for arrays. More... | |