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. | |
| Reified expressions | |
| Mixed integer and set 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... | |