Test::Branch::SetTestSpace Class Reference

Space for executing Set tests. More...

## Public Member Functions

| SetTestSpace (int n, Gecode::IntSet &d)
| Initialize test space.
| SetTestSpace (SetTestSpace &s)
| Constructor for cloning s.
virtual Gecode::Space * | copy (void)
| Copy space during cloning.
| Space (void)
| Default constructor.
| Space (Space &s)
| Constructor for cloning.
virtual | ~Space (void)
| Destructor.
virtual void | constrain (const Space &best)
| Constrain function for best solution search.
virtual bool | master (const MetaInfo &mi)
| Master configuration function for meta search engines.
virtual bool | slave (const MetaInfo &mi)
| Slave configuration function for meta search engines.
SpaceStatus | status (StatusStatistics &stat=unused_status)
| Query space status.
const Choice * | choice (void)
| Create new choice for current brancher.
const Choice * | choice (Archive &e) const
| Create new choice from e.
Space * | clone (CloneStatistics &stat=unused_clone) const
| Clone space.
void | commit (const Choice &c, unsigned int a, CommitStatistics &stat=unused_commit)
| Commit choice c for alternative a.
void | trycommit (const Choice &c, unsigned int a, CommitStatistics &stat=unused_commit)
| If possible, commit choice c for alternative a.
NGL * | ngl (const Choice &c, unsigned int a)
| Create no-good literal for choice c and alternative a.
void | print (const Choice &c, unsigned int a, std::ostream &o) const
| Print branch for choice c and alternative a.
void | notice (Actor &a, ActorProperty p, bool duplicate=false)
| Notice actor property.
void | ignore (Actor &a, ActorProperty p, bool duplicate=false)
| Ignore actor property.
ExecStatus | ES_SUBSUMED (Propagator &p)
ExecStatus | ES_SUBSUMED_DISPOSED (Propagator &p, size_t s)
| Propagator p is subsumed
ExecStatus | ES_FIX_PARTIAL (Propagator &p, const ModEventDelta &med)
| Propagator p has computed partial fixpoint
ExecStatus | ES_NOFIX_PARTIAL (Propagator &p, const ModEventDelta &med)
| Propagator p has not computed partial fixpoint
template<class A>
ExecStatus | ES_FIX_DISPOSE (Council< A > &c, A &a)
| Advisor a must be disposed
template<class A>
ExecStatus | ES_NOFIX_DISPOSE (Council< A > &c, A &a)
| Advisor a must be disposed and its propagator must be run
template<class A>
ExecStatus | ES_NOFIX_DISPOSE_FORCE (Council< A > &c, A &a)
| Advisor a must be disposed and its propagator must be forcefully rescheduled
void | fail (void)
| Fail space.
bool | failed (void) const
| Check whether space is failed.
bool | stable (void) const
| Return if space is stable (at fixpoint or failed).
Home | operator() (Propagator &p)
| Return a home for this space with the information that p is being rewritten.
Home | operator() (PropagatorGroup pg)
| Return a home for this space with propagator group information pg.
Home | operator() (BrancherGroup bg)
| Return a home for this space with brancher group information bg.
template<class T>
T * | alloc (long unsigned int n)
| Allocate block of n objects of type T from space heap.
template<class T>
T * | alloc (long int n)
| Allocate block of n objects of type T from space heap.
template<class T>
T * | alloc (unsigned int n)
| Allocate block of n objects of type T from space heap.
template<class T>
T * | alloc (int n)
| Allocate block of n objects of type T from space heap.
template<class T>
void | free (T *b, long unsigned int n)
| Delete n objects allocated from space heap starting at b.
template<class T>
void | free (T *b, long int n)
| Delete n objects allocated from space heap starting at b.
template<class T>
void | free (T *b, unsigned int n)
| Delete n objects allocated from space heap starting at b.
template<class T>
void | free (T *b, int n)
| Delete n objects allocated from space heap starting at b.
template<class T>
T * | realloc (T *b, long unsigned int n, long unsigned int m)
| Reallocate block of n objects starting at b to m objects of type T from the space heap.
template<class T>
T * | realloc (T *b, long int n, long int m)
| Reallocate block of n objects starting at b to m objects of type T from the space heap.
template<class T>
T * | realloc (T *b, unsigned int n, unsigned int m)
| Reallocate block of n objects starting at b to m objects of type T from the space heap.
template<class T>
T * | realloc (T *b, int n, int m)
| Reallocate block of n objects starting at b to m objects of type T from the space heap.
template<class T>
T ** | realloc (T **b, long unsigned int n, long unsigned int m)
| Reallocate block of n pointers starting at b to m objects of type T* from the space heap.
template<class T>
T ** | realloc (T **b, long int n, long int m)
| Reallocate block of n pointers starting at b to m objects of type T* from the space heap.
template<class T>
T ** | realloc (T **b, unsigned int n, unsigned int m)
| Reallocate block of n pointers starting at b to m objects of type T* from the space heap.
template<class T>
T ** | realloc (T **b, int n, int m)
| Reallocate block of n pointers starting at b to m objects of type T* from the space heap.
void * | ralloc (size_t s)
| Allocate memory on space heap.
void | rfree (void *p, size_t s)
| Free memory previously allocated with alloc (might be reused later).
void * | rrealloc (void *b, size_t n, size_t m)
| Reallocate memory block starting at b from size n to size s.
template<size_t>
void * | fl_alloc (void)
| Allocate from freelist-managed memory.
template<size_t>
void | fl_dispose (FreeList *f, FreeList *l)
| Return freelist-managed memory to freelist.
template<class T>
T & | construct (void)
| Construction routines.
template<class T, typename A1>
T & | construct (A1 const &a1)
| Constructs a single object of type T from space heap using a unary constructor.
template<class T, typename A1, typename A2>
T & | construct (A1 const &a1, A2 const &a2)
| Constructs a single object of type T from space heap using a binary constructor.
template<class T, typename A1, typename A2, typename A3>
T & | construct (A1 const &a1, A2 const &a2, A3 const &a3)
| Constructs a single object of type T from space heap using a ternary constructor.
template<class T, typename A1, typename A2, typename A3, typename A4>
T & | construct (A1 const &a1, A2 const &a2, A3 const &a3, A4 const &a4)
| Constructs a single object of type T from space heap using a quaternary constructor.
template<class T, typename A1, typename A2, typename A3, typename A4, typename A5>
T & | construct (A1 const &a1, A2 const &a2, A3 const &a3, A4 const &a4, A5 const &a5)
| Constructs a single object of type T from space heap using a quinary constructor.
void | afc_decay (double d)
| Set AFC decay factor to d
double | afc_decay (void) const
| Return AFC decay factor.
void | afc_unshare (void)
| Unshare AFC information for all propagators.

## 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.
int | set_val (const Gecode::Space &, Gecode::SetVar x, int)
| Test function for branch value function.

## Additional Inherited Members

Static Public Member Functions inherited from Gecode::HeapAllocated
static void * | operator new (size_t s)
| Memory management.
static void | operator delete (void *p)
| Free memory allocated from heap.

## Detailed Description

Space for executing Set tests.

Definition at line 111 of file branch.cpp.

## Constructor & Destructor Documentation

## SetTestSpace() [1/2]

Test::Branch::SetTestSpace::SetTestSpace | ( | int | n,
|  | Gecode::IntSet & | d )

inline

Initialize test space.

Definition at line 116 of file branch.cpp.

## SetTestSpace() [2/2]

Test::Branch::SetTestSpace::SetTestSpace | ( | SetTestSpace & | s | ) |

inline

Constructor for cloning s.

Definition at line 119 of file branch.cpp.

## Member Function Documentation

## copy()

virtual Gecode::Space * Test::Branch::SetTestSpace::copy | ( | void |  | ) |

inline virtual

Copy space during cloning.

Implements Gecode::Space.

Definition at line 124 of file branch.cpp.

## Friends And Related Symbol Documentation

## set_var_branch_name

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_ACTION_MIN",
"SET_VAR_ACTION_MAX",
"SET_VAR_CHB_MIN",
"SET_VAR_CHB_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_ACTION_SIZE_MIN",
"SET_VAR_ACTION_SIZE_MAX",
"SET_VAR_CHB_SIZE_MIN",
"SET_VAR_CHB_SIZE_MAX"
}

Names for set variable selections.

Definition at line 264 of file branch.cpp.

## n_set_var_branch

const int n_set_var_branch

related

Initial value:
=
sizeof(set_var_branch_name)/sizeof(const char*)
Test::Branch::SetTestSpace::set_var_branch_name
const char * set_var_branch_name[]
Names for set variable selections.
Definition branch.cpp:264

Number of set variable selections.

Definition at line 294 of file branch.cpp.

## set_val_branch_name

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 301 of file branch.cpp.

## n_set_val_branch

const int n_set_val_branch

related

Initial value:
=
sizeof(set_val_branch_name)/sizeof(const char*)
Test::Branch::SetTestSpace::set_val_branch_name
const char * set_val_branch_name[]
Names for set value selections.
Definition branch.cpp:301

Number of set value selections.

Definition at line 313 of file branch.cpp.

## set_merit()

double set_merit | ( | const Gecode::Space & | ,
|  | Gecode::SetVar | ,
|  | int | )

related

Test function for branch merit function.

Definition at line 297 of file branch.cpp.

## set_val()

int set_val | ( | const Gecode::Space & | ,
|  | Gecode::SetVar | x,
|  | int | )

related

Test function for branch value function.

Definition at line 316 of file branch.cpp.

## Member Data Documentation

## x

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

Variables to be tested.

Definition at line 114 of file branch.cpp.

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

- test/branch.cpp