Part V
Programming variables
This part explains how new variable types can be programmed with Gecode.
In order to be able to program variables, all chapters in this part should be read. The chapters capture the following:
Getting started outlines how a new variable type can be programmed for Gecode.
Variable implementations shows how the kernel-specific and variable domain-specific aspects of a variable implementation are specified and programmed.
Variables and variable arrays shows how variables and variable arrays for modeling are programmed for a given variable implementation.
Views shows how views for programming propagators and branchers are programmed for a given variable implementation.
Variable-value branchings explains how variable-value branchings can be implemented from functionality provided by Gecode.
Putting everything together finally explains how a new variable type can be used with Gecode.
Important
Programming variables requires to configure and recompile Gecode from its source code. Using an already installed package is not sufficient. More details can be found in Putting everything together.