Generated on Fri Jan 10 2020 11:38:25 for Gecode by doxygen 1.8.16
Modules
Here is a list of all modules:
[detail level 12345]
 Functionality by programming task
 Programming models
 Setting up scriptsScripts (or models) are programmed by inheriting from the class Gecode::Space. For many examples see Example scripts (models)
 Using integer variables and constraints
 Search enginesDefines search engines. All search engines (but Gecode::LDS, where it is not needed) support recomputation. The behaviour of recomputation is controlled by a passing a search option object (see the class Gecode::Search::Options)
 Gist: the Gecode Interactive Search Tool
 Using integer set variables and constraints
 Using float variables and constraints
 Direct modeling support
 Script commandline driver
 Propagator and brancher groups
 Tracing constraint propagation
 Generic branching supportSupport for randomization and tie-breaking that are independent of a particular variable domain
 Programming search engines
 Programming actors
 Programming integer actors
 Programming set actors
 Programming float actors
 Reified propagator patterns
 Generic brancher based on view and value selectionImplements view-based brancher for an array of views and value
 Generic brancher based on view selectionImplements view-based brancher for an array of views and value
 Status of constraint propagation and branching commitNote that the enum values starting with a double underscore should not be used directly. Instead, use the provided functions with the same name without leading underscores
 Propagator patterns
 Programming variables
 Programming views for variables
 Generic modification events and propagation conditionsPredefined modification events must be taken into account by variable types
 Testing
 Testing domain floats
 Testing finite domain integers
 Testing finite sets
 General test support
 Common functionality
 Memory management
 Space-memory management
 Using allocators with Gecode
 Region memory managementA region provides a handle to temporary memory owned by a space. The memory will be managed in a stack fashion, that is, the memory allocated through a region will be released only after the region is deleted and all other regions created later also have been deleted
 %Heap memory management
 Gecode exceptions
 Float exceptions
 Integer exceptions
 Kernel exceptions
 MiniModel exceptions
 %Search exceptions
 Set exceptions
 Support exceptions
 Support algorithms and datastructuresThese are some common datastructures used in the implementation of Gecode. Maybe they can be also useful to others
 Simple thread and synchronization supportThis is very simplistic, just enough for parallel search engines. Do not mistake it for a full-fledged thread package
 Range and value iteratorsBoth range and value iterators have a rather simple interface for controlling iteration (which deviates from what you might be used to from other iterators)
 Range iteratorsA range iterator provides incremental access to a sequence of increasing ranges
 Value iteratorsA value iterator provides incremental access to a sequence of increasing values
 Other available functionality
 Generic propagatorsThis module contains a description of all predefined generic propagators
 Integer propagatorsThis 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
 Support for GCC bounds propagation
 Set propagatorsThis 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 propagatorsThis 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 branchersContains merit-based view selection strategies on float views that can be used together with the generic view/value brancher classes
 Float value selection for brancherContains a description of value selection strategies on float views that can be used together with the generic view/value branchers
 Float value commit classesContains the value commit classes for float views that can be used together with the generic view/value branchers
 Merit-based integer view selection for branchersContains merit-based view selection strategies on integer views that can be used together with the generic view/value brancher classes
 Integer value selection for brancherContains a description of value selection strategies on integer views that can be used together with the generic view/value branchers
 Integer value commit classesContains 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 branchersContains merit-based view selection strategies on set views that can be used together with the generic view/value brancher classes
 Set value selection for brancherContains a description of value selection strategies on set views that can be used together with the generic view/value branchers
 Set value commit classesContains the value commit classes for set views that can be used together with the generic view/value branchers
 Example scripts (models)All scripts are compiled into simple standalone programs. All programs understand the several generic and problem-specific commandline options. An overview of the options is available by invoking the standalone programs with the -help commandline option