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

Modules

 Generic propagators
 This module contains a description of all predefined generic propagators.
 
 Integer propagators
 This module contains a description of all predefined integer propagators. They can be reused, for example, for rewriting newly defined integer propagators into already available propagators.
 
 Set propagators
 This module contains a description of all predefined finite set propagators. They can be reused, for example, for rewriting newly defined finite set propagators into already available propagators.
 
 Float propagators
 This module contains a description of all predefined float propagators. They can be reused, for example, for rewriting newly defined float propagators into already available propagators.
 
 Merit-based float view selection for branchers
 Contains merit-based view selection strategies on float views that can be used together with the generic view/value brancher classes.
 
 Float value selection for brancher
 Contains a description of value selection strategies on float views that can be used together with the generic view/value branchers.
 
 Float value commit classes
 Contains the value commit classes for float views that can be used together with the generic view/value branchers.
 
 Merit-based integer view selection for branchers
 Contains merit-based view selection strategies on integer views that can be used together with the generic view/value brancher classes.
 
 Integer value selection for brancher
 Contains a description of value selection strategies on integer views that can be used together with the generic view/value branchers.
 
 Integer value commit classes
 Contains the value commit classes for integer and Boolean views that can be used together with the generic view/value branchers.
 
 Merit-based set view selection for branchers
 Contains merit-based view selection strategies on set views that can be used together with the generic view/value brancher classes.
 
 Set value selection for brancher
 Contains a description of value selection strategies on set views that can be used together with the generic view/value branchers.
 
 Set value commit classes
 Contains the value commit classes for set views that can be used together with the generic view/value branchers.
 

Classes

class  Gecode::Float::FloatVarImp
 Float variable implementation. More...
 
class  Gecode::Int::IntVarImp
 Integer variable implementation. More...
 
class  Gecode::Int::BoolVarImp
 Boolean variable implementation. More...
 
class  Gecode::Set::SetVarImp
 Finite integer set variable implementation. More...
 

Detailed Description