main page
modules
namespaces
classes
files
Gecode home
Generated on Thu Jan 16 2025 00:00:00 for Gecode by
doxygen
1.14.0
Topics
Here is a list of all topics with brief descriptions:
[detail level
1
2
3
4
5
]
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
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
Arithmetic constraints
Basic setup
Domain constraints
Linear constraints
Minimal modeling constraints (linear constraints)
Relation constraints
Testing finite domain integers
General test support
Arithmetic constraints
Basic setup
Bin-packing constraints
Boolean constraints
Channel constraints
Circuit constraints
Count constraints
Cumulative scheduling constraints
Cumnulatives scheduling constraint
Distinct constraints
Domain constraints
Element constraints
Synchronized execution
Extensional (relation) constraints
Counting constraints (global cardinality)
Linear constraints
Membership constraints
Minimal modelling constraints (arithmetic)
Minimal modelling constraints (Boolean constraints)
Minimal modelling constraints (counting)
Minimal modeling constraints (linear constraints)
Minimal modelling constraints (relation)
No-overlap constraints
Number of values constraints
Order constraint
Relation constraints
Sequence constraints
Sorted constraints
Unary scheduling constraints
Unsharing variables in arrays
Testing finite sets
General set test support
Set channeling constraints
Convexity constraints
Distinctness constraints
Domain constraints
Element constraints
Synchronized execution
Combined integer/set constraints
Minimal modelling constraints (Set constraints)
Relation/operation constraints with constants
Relation/operation constraints
Relation constraints
Sequence constraints
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)