Test::Branch::IntTestSpace Class Reference

Inherits Gecode::Space.

List of all members.

---

Detailed Description

Space for executing integer tests.

Definition at line 56 of file branch.cc.

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.
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.

---

Constructor & Destructor Documentation

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

Initialize test space.

Definition at line 61 of file branch.cc.

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

Constructor for cloning s.

Definition at line 64 of file branch.cc.

---

Member Function Documentation

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

(

bool

share

)

[inline, virtual]

Copy space during cloning.

Implements Gecode::Space.

Definition at line 69 of file branch.cc.

---

Friends And Related Function Documentation

const Gecode::IntVarBranch int_var_branch[] [related]

Initial value:

 {
    Gecode::INT_VAR_NONE,
    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_DEGREE_MIN,
    Gecode::INT_VAR_DEGREE_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 141 of file branch.cc.

const int n_int_var_branch [related]

Initial value:

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

Number of integer variable selections.

Definition at line 159 of file branch.cc.

const char* int_var_branch_name[] [related]

Initial value:

 {
    "INT_VAR_NONE",
    "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_DEGREE_MIN",
    "INT_VAR_DEGREE_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 162 of file branch.cc.

const Gecode::IntValBranch int_val_branch[] [related]

Initial value:

 {
    Gecode::INT_VAL_MIN,
    Gecode::INT_VAL_MED,
    Gecode::INT_VAL_MAX,
    Gecode::INT_VAL_SPLIT_MIN,
    Gecode::INT_VAL_SPLIT_MAX
  }

Integer value selections.

Definition at line 180 of file branch.cc.

const int n_int_val_branch [related]

Initial value:

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

Number of integer value selections.

Definition at line 188 of file branch.cc.

const char* int_val_branch_name[] [related]

Initial value:

 {
    "INT_VAL_MIN",
    "INT_VAL_MED",
    "INT_VAL_MAX",
    "INT_VAL_SPLIT_MIN",
    "INT_VAL_SPLIT_MAX"
  }

Names for integer value selections.

Definition at line 191 of file branch.cc.

---

Member Data Documentation

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

Variables to be tested.

Definition at line 59 of file branch.cc.

---

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

• test/branch.cc (Revision: 6318)