Modules

Here is a list of all modules:

• 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
      • 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
    • 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
      • Arithmetic constraints
      • Basic setup
      • Domain constraints
      • Linear constraints
      • Minimal modeling constraints (linear constraints)
      • Relation constraints
      • General test support
    • 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
      • 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 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)