Test::Branch::IntTestSpace Class Reference

Space for executing integer tests. More...

Public Member Functions
	IntTestSpace (int n, Gecode::IntSet &d)
	Initialize test space.
	IntTestSpace (bool share, IntTestSpace &s)
	Constructor for cloning s.
virtual Gecode::Space *	copy (bool share)
	Copy space during cloning.
Public Attributes
Gecode::IntVarArray	x
	Variables to be tested.
Gecode::IntVarBranch	vara
	Variable selection criteria.
Gecode::IntVarBranch	varb
Gecode::IntValBranch	val
	Varlue selection criterion.
Collection of possible arguments for integer branchers
BoolTestSpace
const Gecode::IntVarBranch	int_var_branch []
	Integer variable selections.
const int	n_int_var_branch
	Number of integer variable selections.
const char *	int_var_branch_name []
	Names for integer variable selections.
const Gecode::IntValBranch	int_val_branch []
	Integer value selections.
const int	n_int_val_branch
	Number of integer value selections.
const char *	int_val_branch_name []
	Names for integer value selections.

Detailed Description

Space for executing integer tests.

Definition at line 56 of file branch.cpp.

Constructor & Destructor Documentation

Test::Branch::IntTestSpace::IntTestSpace	(	int	n,
		Gecode::IntSet &	d
	)			`[inline]`

Initialize test space.

Definition at line 65 of file branch.cpp.

Test::Branch::IntTestSpace::IntTestSpace	(	bool	share,
		IntTestSpace &	s
	)			`[inline]`

Constructor for cloning s.

Definition at line 70 of file branch.cpp.

Member Function Documentation

virtual Gecode::Space* Test::Branch::IntTestSpace::copy ( bool share ) [inline, virtual]

Copy space during cloning.

Implements Gecode::Space.

Definition at line 75 of file branch.cpp.

Friends And Related Function Documentation

const Gecode::IntVarBranch int_var_branch[] [related]

const int n_int_var_branch [related]

Initial value:

    sizeof(int_var_branch)/sizeof(Gecode::IntVarBranch)

Number of integer variable selections.

Definition at line 150 of file branch.cpp.

const char* int_var_branch_name[] [related]

Initial value:

 {
    "SINGLE VARIABLE",
    "INT_VAR_NONE",
    "INT_VAR_RND",
    "INT_VAR_DEGREE_MIN",
    "INT_VAR_DEGREE_MAX",
    "INT_VAR_AFC_MIN",
    "INT_VAR_AFC_MAX",
    "INT_VAR_MIN_MIN",
    "INT_VAR_MIN_MAX",
    "INT_VAR_MAX_MIN",
    "INT_VAR_MAX_MAX",
    "INT_VAR_SIZE_MIN",
    "INT_VAR_SIZE_MAX",
    "INT_VAR_SIZE_DEGREE_MIN",
    "INT_VAR_SIZE_DEGREE_MAX",
    "INT_VAR_SIZE_AFC_MIN",
    "INT_VAR_SIZE_AFC_MAX",
    "INT_VAR_REGRET_MIN_MIN",
    "INT_VAR_REGRET_MIN_MAX",
    "INT_VAR_REGRET_MAX_MIN",
    "INT_VAR_REGRET_MAX_MAX"
  }

Names for integer variable selections.

Definition at line 153 of file branch.cpp.

const Gecode::IntValBranch int_val_branch[] [related]

Initial value:

 {
    Gecode::INT_VAL_MIN,
    Gecode::INT_VAL_MED,
    Gecode::INT_VAL_MAX,
    Gecode::INT_VAL_RND,
    Gecode::INT_VAL_SPLIT_MIN,
    Gecode::INT_VAL_SPLIT_MAX,
    Gecode::INT_VAL_RANGE_MIN,
    Gecode::INT_VAL_RANGE_MAX,
    Gecode::INT_VALUES_MIN,
    Gecode::INT_VALUES_MAX
  }

Integer value selections.

Definition at line 177 of file branch.cpp.

const int n_int_val_branch [related]

Initial value:

    sizeof(int_val_branch)/sizeof(Gecode::IntValBranch)

Number of integer value selections.

Definition at line 190 of file branch.cpp.

const char* int_val_branch_name[] [related]

Initial value:

 {
    "INT_VAL_MIN",
    "INT_VAL_MED",
    "INT_VAL_MAX",
    "INT_VAL_RND",
    "INT_VAL_SPLIT_MIN",
    "INT_VAL_SPLIT_MAX",
    "INT_VAL_RANGE_MIN",
    "INT_VAL_RANGE_MAX",
    "INT_VALUES_MIN",
    "INT_VALUES_MAX"
  }

Names for integer value selections.

Definition at line 193 of file branch.cpp.