Passing integer arguments

* \brief Integer sets * * Integer sets are the means to specify arbitrary sets * of integers to be used as domains for integer variables.

Linear expressions over integer variables

* \brief Minus integer view * * A minus integer view \f$m\f$ for an integer view \f$x\f$ provides * operations such that \f$m\f$ behaves as \

Forward declaration

Simple class for describing indentation

Linear relations

* \brief Which integer variable to select for branching * * \ingroup TaskModelIntBranch */

* \brief Which variable to select for branching * * \ingroup TaskModelFloatBranch */

* \brief Which variable to select for branching * * \ingroup TaskModelSetBranch */

* \brief Reification specification * \ingroup TaskModelInt */

* \brief Integer view for integer variables * \ingroup TaskActorIntView */

* \brief %Set variables * * \ingroup TaskModelSetVars */

* \brief Which Boolean variable to select for branching * * \ingroup TaskModelIntBranch */

A Literal is a pair of variable index and value.

Entries in the symbol table

%Alias for a variable specification

* \brief Boolean view for Boolean variables * * Provides convenient and efficient operations for Boolean views. * \ingroup TaskActorIntView

* \brief Integer variable array * \ingroup TaskModelIntVarArrays */

* \brief Offset integer view * * An offset integer view \f$o\f$ for an integer view \f$x\f$ and * an integer \f$c\f$ provides operations such

Which integer or Boolean variable to select for branching

* \brief Which values to select for branching first * * \ingroup TaskModelIntBranch */

* \brief Integer variables * * \ingroup TaskModelIntVars */

* \brief Minus float view * * A minus float view \f$m\f$ for an float view \f$x\f$ provides * operations such that \f$m\f$ behaves as \f$-x\f

* \brief Boolean variable array * \ingroup TaskModelIntVarArrays */

\brief %Extent representing shape of a tree at one depth level

* \brief Negated Boolean view * * A negated Boolean view \f$n\f$ for a Boolean view \f$b\f$ * provides operations such that \f$n\f$ * beha

* \brief Constant integer view * * A constant integer view \f$x\f$ for an integer \f$c\f$ provides * operations such that \f$x\f$ behaves as

* \brief Which value to select for assignment * * \ingroup TaskModelSetBranch */

* \brief Which values to select for branching first * * \ingroup TaskModelSetBranch */

\brief Passing integer variables

An event collects the information for one event for the sweep-line

* \brief Float variables * * \ingroup TaskModelFloatVars */

* \brief Boolean integer variables * * \ingroup TaskModelIntVars */

* \brief Dimension combining coordinate and integer size information */

* \brief Dimension combining coordinate and integer view size information */

%Test number of equal integers equal to integer variable

* \brief Which values to select for assignment * * \ingroup TaskModelIntBranch */

* \brief Which values to select for assignment * * \ingroup TaskModelIntBranch */

* \brief Which values to select for branching first * * \ingroup TaskModelIntBranch */

* \brief Which values to select for assignment * * \ingroup TaskModelFloatBranch */

* \brief Which values to select for branching first * * \ingroup TaskModelFloatBranch */

Information about one test-run

%Set relations

* \brief Recording AFC information for Boolean variables * * \ingroup TaskModelIntBranch */

* \brief Recording actions for Boolean variables * * \ingroup TaskModelIntBranch */

* \brief Recording CHB for Boolean variables * * \ingroup TaskModelIntBranch */

%Test linear relation over Boolean variables equal to integer variable

Forward declarations for friends

%Event to be scheduled

* \brief Recording AFC information for integer variables * * \ingroup TaskModelIntBranch */

* \brief Recording actions for integer variables * * \ingroup TaskModelIntBranch */

* \brief Recording CHB for integer variables * * \ingroup TaskModelIntBranch */

* \brief Item combining bin and size information */

* \brief Scale float view * * A scale float view \f$s\f$ for a float view \f$x\f$ and * a non-negative float \f$a\f$ provides operations such

A stack item for depth first search

Comparison relation (for two-sided comparisons)

\brief Class representing a set of tuples. * * A TupleSet is used for storing an extensional representation of a * constraint. After a TupleS

Describe that event is above a certain limit

Describe that event is below a certain limit

* \brief Deterministic finite automaton (%DFA) * * After initialization, the start state is always zero. * The final states are contiguous ra

Expression information

* \brief Recording AFC information for float variables * * \ingroup TaskModelFloatBranch */

* \brief Recording actions for float variables * * \ingroup TaskModelFloatBranch */