Generated on Fri Mar 20 15:57:13 2015 for Gecode by doxygen 1.6.3

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::Spacecopy (bool share)
 Copy space during cloning.

Public Attributes

Gecode::SetVarArray x
 Variables to be tested.

Collection of possible arguments for set branchers



const char * set_var_branch_name []
 Names for set variable selections.
const int n_set_var_branch
 Number of set variable selections.
const char * set_val_branch_name []
 Names for set value selections.
const int n_set_val_branch
 Number of set value selections.
double set_merit (const Gecode::Space &, Gecode::SetVar, int)
 Test function for branch merit function.

Detailed Description

Space for executing Boolean tests.

Definition at line 115 of file branch.cpp.


Constructor & Destructor Documentation

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

Initialize test space.

Definition at line 120 of file branch.cpp.

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

Constructor for cloning s.

Definition at line 123 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 128 of file branch.cpp.


Friends And Related Function Documentation

const char* set_var_branch_name[] [related]
Initial value:
 {
    "SINGLE VARIABLE",
    "SET_VAR_NONE",
    "SET_VAR_RND",
    "SET_VAR_MERIT_MIN",
    "SET_VAR_MERIT_MAX",
    "SET_VAR_DEGREE_MIN",
    "SET_VAR_DEGREE_MAX",
    "SET_VAR_AFC_MIN",
    "SET_VAR_AFC_MAX",
    "SET_VAR_ACTIVITY_MIN",
    "SET_VAR_ACTIVITY_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_DEGREE_SIZE_MIN",
    "SET_VAR_DEGREE_SIZE_MAX",
    "SET_VAR_AFC_SIZE_MIN",
    "SET_VAR_AFC_SIZE_MAX",
    "SET_VAR_ACTIVITY_SIZE_MIN",
    "SET_VAR_ACTIVITY_SIZE_MAX"
  }

Names for set variable selections.

Definition at line 239 of file branch.cpp.

const int n_set_var_branch [related]
Initial value:
    sizeof(set_var_branch_name)/sizeof(const char*)

Number of set variable selections.

Definition at line 265 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",
    "SET_VAL"
  }

Names for set value selections.

Definition at line 272 of file branch.cpp.

const int n_set_val_branch [related]
Initial value:
    sizeof(set_val_branch_name)/sizeof(const char*)

Number of set value selections.

Definition at line 284 of file branch.cpp.

double set_merit ( const Gecode::Space ,
Gecode::SetVar  ,
int   
) [related]

Test function for branch merit function.

Definition at line 268 of file branch.cpp.


Member Data Documentation

Variables to be tested.

Definition at line 118 of file branch.cpp.


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