main page
modules
namespaces
classes
files
Gecode home
Generated on Tue Feb 11 2025 17:33:26 for Gecode by
doxygen
1.12.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)