Test::Branch::CpltSetTestSpace Class Reference

Inherits Gecode::Space.

List of all members.

---

Detailed Description

Space for executing Boolean tests.

Definition at line 116 of file branch.cc.

Collection of possible arguments for CpltSet branchings
const Gecode::CpltSetVarBranch	cpltset_var_branch []
	CpltSet variable selections.
const int	n_cpltset_var_branch
	Number of CpltSet variable selections.
const char *	cpltset_var_branch_name []
	Names for CpltSet variable selections.
const Gecode::CpltSetValBranch	cpltset_val_branch []
	Set value selections.
const int	n_cpltset_val_branch
	Number of set value selections.
const char *	cpltset_val_branch_name []
	Names for set value selections.
Public Member Functions
	CpltSetTestSpace (int n, Gecode::IntSet &d)
	Initialize test space.
	CpltSetTestSpace (bool share, CpltSetTestSpace &s)
	Constructor for cloning s.
virtual Gecode::Space *	copy (bool share)
	Copy space during cloning.
Public Attributes
Gecode::CpltSetVarArray	x
	Variables to be tested.

---

Constructor & Destructor Documentation

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

Initialize test space.

Definition at line 121 of file branch.cc.

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

Constructor for cloning s.

Definition at line 124 of file branch.cc.

---

Member Function Documentation

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

(

bool

share

)

[inline, virtual]

Copy space during cloning.

Implements Gecode::Space.

Definition at line 129 of file branch.cc.

---

Friends And Related Function Documentation

const Gecode::CpltSetVarBranch cpltset_var_branch[] [related]

Initial value:

 {
    Gecode::CPLTSET_VAR_NONE,
    Gecode::CPLTSET_VAR_MIN_CARD,
    Gecode::CPLTSET_VAR_MAX_CARD,
    Gecode::CPLTSET_VAR_MIN_UNKNOWN_ELEM,
    Gecode::CPLTSET_VAR_MAX_UNKNOWN_ELEM
  }

CpltSet variable selections.

Definition at line 248 of file branch.cc.

const int n_cpltset_var_branch [related]

Initial value:

 
    sizeof(cpltset_var_branch)/sizeof(Gecode::CpltSetVarBranch)

Number of CpltSet variable selections.

Definition at line 256 of file branch.cc.

const char* cpltset_var_branch_name[] [related]

Initial value:

 {
    "CPLTSET_VAR_NONE",
    "CPLTSET_VAR_MIN_CARD",
    "CPLTSET_VAR_MAX_CARD",
    "CPLTSET_VAR_MIN_UNKNOWN_ELEM",
    "CPLTSET_VAR_MAX_UNKNOWN_ELEM"
  }

Names for CpltSet variable selections.

Definition at line 259 of file branch.cc.

const Gecode::CpltSetValBranch cpltset_val_branch[] [related]

Initial value:

 {
    Gecode::CPLTSET_VAL_MIN_UNKNOWN,
    Gecode::CPLTSET_VAL_MAX_UNKNOWN,
    Gecode::CPLTSET_VAL_MIN_UNKNOWN_EX_FIRST,
    Gecode::CPLTSET_VAL_MAX_UNKNOWN_EX_FIRST
  }

Set value selections.

Definition at line 267 of file branch.cc.

const int n_cpltset_val_branch [related]

Initial value:

    sizeof(cpltset_val_branch)/sizeof(Gecode::CpltSetValBranch)

Number of set value selections.

Definition at line 274 of file branch.cc.

const char* cpltset_val_branch_name[] [related]

Initial value:

 {
    "CPLTSET_VAL_MIN_UNKNOWN",
    "CPLTSET_VAL_MAX_UNKNOWN",
    "CPLTSET_VAL_MIN_UNKNOWN_EX_FIRST",
    "CPLTSET_VAL_MAX_UNKNOWN_EX_FIRST"
  }

Names for set value selections.

Definition at line 277 of file branch.cc.

---

Member Data Documentation

Gecode::CpltSetVarArray Test::Branch::CpltSetTestSpace::x

Variables to be tested.

Definition at line 119 of file branch.cc.

---

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

• test/branch.cc (Revision: 6318)