Generated on Tue Mar 24 2020 14:04:04 for Gecode by doxygen 1.8.17

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

Detailed Description