Test::Branch::SetTestSpace Class Reference

Space for executing Boolean tests. More...

List of all members.

Public Member Functions
	SetTestSpace (int n, Gecode::IntSet &d)
	Initialize test space.
	SetTestSpace (bool share, SetTestSpace &s)
	Constructor for cloning s.
virtual Gecode::Space *	copy (bool share)
	Copy space during cloning.
Public Attributes
Gecode::SetVarArray	x
	Variables to be tested.
Collection of possible arguments for set branchers
const Gecode::SetVarBranch	set_var_branch []
	Set variable selections.
const int	n_set_var_branch
	Number of set variable selections.
const char *	set_var_branch_name []
	Names for set variable selections.
const Gecode::SetValBranch	set_val_branch []
	Set value selections.
const int	n_set_val_branch
	Number of set value selections.
const char *	set_val_branch_name []
	Names for set value selections.

---

Detailed Description

Space for executing Boolean tests.

Definition at line 101 of file branch.cpp.

---

Constructor & Destructor Documentation

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

Initialize test space.

Definition at line 106 of file branch.cpp.

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

Constructor for cloning s.

Definition at line 109 of file branch.cpp.

---

Member Function Documentation

virtual Gecode::Space* Test::Branch::SetTestSpace::copy

(

bool

share

)

[inline, virtual]

Copy space during cloning.

Implements Gecode::Space.

Definition at line 114 of file branch.cpp.

---

Friends And Related Function Documentation

const Gecode::SetVarBranch set_var_branch[] [related]

Initial value:

 {
    Gecode::SET_VAR_NONE, 
    Gecode::SET_VAR_NONE,
    Gecode::SET_VAR_RND,
    Gecode::SET_VAR_DEGREE_MIN,
    Gecode::SET_VAR_DEGREE_MAX,
    Gecode::SET_VAR_AFC_MIN,
    Gecode::SET_VAR_AFC_MAX,
    Gecode::SET_VAR_MIN_MIN,
    Gecode::SET_VAR_MIN_MAX,
    Gecode::SET_VAR_MAX_MIN,
    Gecode::SET_VAR_MAX_MAX,
    Gecode::SET_VAR_SIZE_MIN,
    Gecode::SET_VAR_SIZE_MAX,
    Gecode::SET_VAR_SIZE_DEGREE_MIN,
    Gecode::SET_VAR_SIZE_DEGREE_MAX,
    Gecode::SET_VAR_SIZE_AFC_MIN,
    Gecode::SET_VAR_SIZE_AFC_MAX
  }

Set variable selections.

Definition at line 214 of file branch.cpp.

const int n_set_var_branch [related]

Initial value:

    sizeof(set_var_branch)/sizeof(Gecode::SetVarBranch)

Number of set variable selections.

Definition at line 234 of file branch.cpp.

const char* set_var_branch_name[] [related]

Initial value:

 {
    "SINGLE VARIABLE",
    "SET_VAR_NONE",
    "SET_VAR_RND",
    "SET_VAR_DEGREE_MIN",
    "SET_VAR_DEGREE_MAX",
    "SET_VAR_AFC_MIN",
    "SET_VAR_AFC_MAX",
    "SET_VAR_MIN_MIN",
    "SET_VAR_MIN_MAX",
    "SET_VAR_MAX_MIN",
    "SET_VAR_MAX_MAX",
    "SET_VAR_SIZE_MIN",
    "SET_VAR_SIZE_MAX",
    "SET_VAR_SIZE_DEGREE_MIN",
    "SET_VAR_SIZE_DEGREE_MAX",
    "SET_VAR_SIZE_AFC_MIN",
    "SET_VAR_SIZE_AFC_MAX"
  }

Names for set variable selections.

Definition at line 237 of file branch.cpp.

const Gecode::SetValBranch set_val_branch[] [related]

Initial value:

 {
    Gecode::SET_VAL_MIN_INC,
    Gecode::SET_VAL_MIN_EXC,
    Gecode::SET_VAL_MED_INC,
    Gecode::SET_VAL_MED_EXC,
    Gecode::SET_VAL_MAX_INC,
    Gecode::SET_VAL_MAX_EXC,
    Gecode::SET_VAL_RND_INC,
    Gecode::SET_VAL_RND_EXC
  }

Set value selections.

Definition at line 257 of file branch.cpp.

const int n_set_val_branch [related]

Initial value:

    sizeof(set_val_branch)/sizeof(Gecode::SetValBranch)

Number of set value selections.

Definition at line 268 of file branch.cpp.

const char* set_val_branch_name[] [related]

Initial value:

 {
    "SET_VAL_MIN_INC",
    "SET_VAL_MIN_EXC",
    "SET_VAL_MED_INC",
    "SET_VAL_MED_EXC",
    "SET_VAL_MAX_INC",
    "SET_VAL_MAX_EXC",
    "SET_VAL_RND_INC",
    "SET_VAL_RND_EXC"
  }

Names for set value selections.

Definition at line 271 of file branch.cpp.

---

Member Data Documentation

Gecode::SetVarArray Test::Branch::SetTestSpace::x

Variables to be tested.

Definition at line 104 of file branch.cpp.

---

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

• test/branch.cpp (Revision: 9975)