Test::Branch::IntTestSpace Class Reference

Space for executing integer tests. More...

List of all members.

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.
Static Public Member Functions
static void	branch (Gecode::Space &_home)
	Create actual branching.
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 branchings
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.

static void Test::Branch::IntTestSpace::branch

(

Gecode::Space &

_home

)

[inline, static]

Create actual branching.

Definition at line 79 of file branch.cpp.

---

Friends And Related Function Documentation

const Gecode::IntVarBranch int_var_branch[] [related]

Initial value:

 {
    Gecode::INT_VAR_NONE,
    Gecode::INT_VAR_RND,
    Gecode::INT_VAR_DEGREE_MIN,
    Gecode::INT_VAR_DEGREE_MAX,
    Gecode::INT_VAR_MIN_MIN,
    Gecode::INT_VAR_MIN_MAX,
    Gecode::INT_VAR_MAX_MIN,
    Gecode::INT_VAR_MAX_MAX,
    Gecode::INT_VAR_SIZE_MIN,
    Gecode::INT_VAR_SIZE_MAX,
    Gecode::INT_VAR_SIZE_DEGREE_MIN,
    Gecode::INT_VAR_SIZE_DEGREE_MAX,
    Gecode::INT_VAR_REGRET_MIN_MIN,
    Gecode::INT_VAR_REGRET_MIN_MAX,
    Gecode::INT_VAR_REGRET_MAX_MIN,
    Gecode::INT_VAR_REGRET_MAX_MAX
  }

Integer variable selections.

Definition at line 134 of file branch.cpp.

const int n_int_var_branch [related]

Initial value:

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

Number of integer variable selections.

Definition at line 153 of file branch.cpp.

const char* int_var_branch_name[] [related]

Initial value:

 {
    "INT_VAR_NONE",
    "INT_VAR_RND",
    "INT_VAR_DEGREE_MIN",
    "INT_VAR_DEGREE_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_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 156 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_VALUES_MIN,
    Gecode::INT_VALUES_MAX
  }

Integer value selections.

Definition at line 175 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 186 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_VALUES_MIN",
    "INT_VALUES_MAX"
  }

Names for integer value selections.

Definition at line 189 of file branch.cpp.

---

Member Data Documentation

Gecode::IntVarArray Test::Branch::IntTestSpace::x

Variables to be tested.

Definition at line 59 of file branch.cpp.

Gecode::IntVarBranch Test::Branch::IntTestSpace::vara

Variable selection criteria.

Definition at line 61 of file branch.cpp.

Gecode::IntVarBranch Test::Branch::IntTestSpace::varb

Definition at line 61 of file branch.cpp.

Gecode::IntValBranch Test::Branch::IntTestSpace::val

Varlue selection criterion.

Definition at line 63 of file branch.cpp.

---

The documentation for this class was generated from the following file:

• test/branch.cpp (Revision: 9095)