Modules

Here is a list of all modules:

• Functionality by programming task
  • Programming models
    • Setting up scripts
    • Using finite domain integers
      • 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
      • Assigning
    • Search engines
      • Stop-objects for stopping search
    • Gist: the Gecode Interactive Search Tool
    • Using finite integer sets
      • Set 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
      • Value precedence constraints over set variables
      • Element constraints
      • Synchronized execution
      • Branching
      • Assigning
    • Direct modeling support
      • Linear expressions and relations
      • Set expressions and relations
      • Boolean expressions
      • Posting of expressions and relations
      • Arithmetic 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
    • Generic branching support
      • Tie-breaking for variable selection
      • Branch with a function
  • 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
    • Reified propagator patterns
    • Generic brancher based on view and value selection
      • Generic view tie-breaking 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
    • Status of constraint propagation and branching commit
    • Propagator patterns
  • Programming variables
    • Programming views for variables
    • Generic modification events and propagation conditions
  • Testing
    • Testing finite domain integers
      • 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
      • Relation constraints
      • Sequence constraints
      • Sorted constraints
      • Unary scheduling constraints
      • Unsharing variables in arrays
      • General test support
    • Testing finite sets
      • 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 set test support
    • General test support
• Common functionality
  • Memory management
    • Using allocators with Gecode
    • Space-memory management
    • Region memory management
    • Heap memory management
  • Gecode exceptions
    • Integer exceptions
    • Kernel exceptions
    • MiniModel exceptions
    • Set exceptions
    • Support exceptions
  • Support algorithms and datastructures
    • Support for shared objects and handles
    • 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
  • Integer view selection for brancher
  • Integer value selection for brancher
  • Set propagators
  • Set view selection for brancher
  • Set value selection for brancher
• Example scripts (models)