Topics

Here is a list of all topics with brief descriptions:

Functionality by programming task
Programming models
Setting up scripts
Using integer variables and constraints
Integer variables
Argument arrays
Variable arrays
Domain constraints
Simple relation constraints over integer variables
Simple relation constraints over Boolean variables
Value precedence constraints over integer variables
Membership constraints
Element constraints
Distinct constraints
Channel constraints
Sorted constraints
Counting constraints
Number of values constraints
Sequence constraints
Extensional constraints
Arithmetic constraints
Linear constraints over integer variables
Linear constraints over Boolean variables
Bin packing constraints
Geometrical packing constraints
Scheduling constraints
Graph constraints
Synchronized execution
Unsharing variables
Branching
Variable selection for integer and Boolean variables
Value selection for integer and Boolean variables
Value selection for assigning integer variables
Symmetry declarations
Search engines
Stop-objects for stopping search
Gist: the Gecode Interactive Search Tool
Using integer set variables and constraints
Set variables
Float variables
Range and value iterators for set variables
Argument arrays
Variable arrays
Domain constraints
Relation constraints
Set operation/relation constraints
Convexity constraints
Sequence constraints
Distinctness constraints
Connection constraints to integer variables
Channel constraints
Value precedence constraints over set variables
Element constraints
Synchronized execution
Branching
Selecting set variables
Value selection for set variables
Assigning set variables
Using float variables and constraints
Variable arrays
Domain constraints
Simple relation constraints over float variables
Arithmetic constraints
Linear constraints over float variables
Channel constraints
Synchronized execution
Branching on float variables
Variable selection for float variables
Value selection for float variables
Value selection for assigning float variables
Direct modeling support
Linear expressions and relations
Linear float expressions and relations
Set expressions and relations
Boolean 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
Aliases for set constraints
Support for cost-based optimization
Script commandline driver
Commandline options for running scripts
Script classes
Propagator and brancher groups
Tracing constraint propagation
Tracing for float variables
Tracing for integer and Boolean variables
Tracing for set variables
Generic branching support
Branch with a function
Tie-breaking for variable selection
Programming search engines
Programming actors
Programming integer actors
Integer views
Testing relations between integer views
Integer modification events and propagation conditions
Programming set actors
Set modification events and propagation conditions
Set views
Programming float actors
Float views
Testing relations between float views
Float modification events and propagation conditions
Reified propagator patterns
Generic brancher based on view and value selection
Generic merit for branchers based on view and value selection
Generic value commit for brancher based on view and value selection
Generic value selection and value commit for brancher based on view and value selection
Generic value selection for brancher based on view and value selection
Generic view selection for brancher based on view and value selection
Generic brancher based on view selection
Status of constraint propagation and branching commit
Propagator patterns
Programming variables
Programming views for variables
Generic modification events and propagation conditions
Testing
Testing domain floats
General test support
Testing finite domain integers
General test support
Testing finite sets
General set test support
General test support
Common functionality
Memory management
Space-memory management
Using allocators with Gecode
Region memory management
Heap memory management
Gecode exceptions
Float exceptions
Integer exceptions
Kernel exceptions
MiniModel exceptions
Search exceptions
Set exceptions
Support exceptions
Support algorithms and datastructures
Simple thread and synchronization support
Range and value iterators
Range iterators
Range iterators with virtual member functions
Operations on range iterators
Value iterators
Value iterators with virtual member functions
Other available functionality
Generic propagators
Integer propagators
Support for GCC bounds propagation
Set propagators
Float propagators
Merit-based float view selection for branchers
Float value selection for brancher
Float value commit classes
Merit-based integer view selection for branchers
Integer value selection for brancher
Integer value commit classes
Merit-based set view selection for branchers
Set value selection for brancher
Set value commit classes
Example scripts (models)