Test::Branch::SetTestSpace Class Reference

Inherits Gecode::Space.

List of all members.

---

Detailed Description

Space for executing Boolean tests.

Definition at line 95 of file branch.cc.

Collection of possible arguments for set branchings
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.
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.

---

Constructor & Destructor Documentation

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

Initialize test space.

Definition at line 100 of file branch.cc.

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

Constructor for cloning s.

Definition at line 103 of file branch.cc.

---

Member Function Documentation

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

(

bool

share

)

[inline, virtual]

Copy space during cloning.

Implements Gecode::Space.

Definition at line 108 of file branch.cc.

---

Friends And Related Function Documentation

const Gecode::SetVarBranch set_var_branch[] [related]

Initial value:

 {
    Gecode::SET_VAR_NONE,
    Gecode::SET_VAR_MIN_CARD,
    Gecode::SET_VAR_MAX_CARD,
    Gecode::SET_VAR_MIN_UNKNOWN_ELEM,
    Gecode::SET_VAR_MAX_UNKNOWN_ELEM
  }

Set variable selections.

Definition at line 207 of file branch.cc.

const int n_set_var_branch [related]

Initial value:

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

Number of set variable selections.

Definition at line 215 of file branch.cc.

const char* set_var_branch_name[] [related]

Initial value:

 {
    "SET_VAR_NONE",
    "SET_VAR_MIN_CARD",
    "SET_VAR_MAX_CARD",
    "SET_VAR_MIN_UNKNOWN_ELEM",
    "SET_VAR_MAX_UNKNOWN_ELEM"
  }

Names for set variable selections.

Definition at line 218 of file branch.cc.

const Gecode::SetValBranch set_val_branch[] [related]

Initial value:

 {
    Gecode::SET_VAL_MIN,
    Gecode::SET_VAL_MAX
  }

Set value selections.

Definition at line 226 of file branch.cc.

const int n_set_val_branch [related]

Initial value:

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

Number of set value selections.

Definition at line 231 of file branch.cc.

const char* set_val_branch_name[] [related]

Initial value:

 {
    "SET_VAL_MIN",
    "SET_VAL_MAX"
  }

Names for set value selections.

Definition at line 234 of file branch.cc.

---

Member Data Documentation

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

Variables to be tested.

Definition at line 98 of file branch.cc.

---

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

• test/branch.cc (Revision: 6318)