Generated on Wed Sep 5 2012 18:52:48 for Gecode by doxygen 1.8.1.1
Test::Branch::IntTestSpace Class Reference

Space for executing integer tests. More...

List of all members.

Public Member Functions

 IntTestSpace (int n, Gecode::IntSet &d)
 Initialize test space.
 IntTestSpace (bool share, IntTestSpace &s)
 Constructor for cloning s.
virtual Gecode::Spacecopy (bool share)
 Copy space during cloning.
- Public Member Functions inherited from Gecode::Space
 Space (void)
 Default constructor.
virtual ~Space (void)
 Destructor.
 Space (bool share, Space &s)
 Constructor for cloning.
virtual void constrain (const Space &best)
 Constrain function for best solution search.
SpaceStatus status (StatusStatistics &stat=unused_status)
 Query space status.
const Choicechoice (void)
 Create new choice for current brancher.
const Choicechoice (Archive &e) const
 Create new choice from e.
Spaceclone (bool share=true, 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 notice (Actor &a, ActorProperty p)
 Notice actor property.
void ignore (Actor &a, ActorProperty p)
 Ignore actor property.
ExecStatus ES_SUBSUMED (Propagator &p)
 Propagator p is subsumed
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)
unsigned int propagators (void) const
 Return number of propagators.
unsigned int branchers (void) const
 Return number of branchers.
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.
size_t allocated (void) const
 Return how much heap memory is allocated.
void flush (void)
 Flush cached memory blocks and AFC information.
Home operator() (Propagator &p)
 Return a home for this space with the information that p is being rewritten.
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.

Public Attributes

Gecode::IntVarArray x
 Variables to be tested.
Gecode::IntVarBranch vara
 Variable selection criteria.
Gecode::IntVarBranch varb
Gecode::IntValBranch val
 Varlue selection criterion.

Collection of possible arguments for integer branchers

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.

Additional Inherited Members

- Static Public Member Functions inherited from Gecode::Space
static void * operator new (size_t)
 Allocate memory from heap for new space.
static void operator delete (void *)
 Free memory allocated from heap.

Detailed Description

Space for executing integer tests.

Definition at line 56 of file branch.cpp.


Constructor & Destructor Documentation

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

Initialize test space.

Definition at line 65 of file branch.cpp.

Test::Branch::IntTestSpace::IntTestSpace ( bool  share,
IntTestSpace s 
)
inline

Constructor for cloning s.

Definition at line 70 of file branch.cpp.


Member Function Documentation

virtual Gecode::Space* Test::Branch::IntTestSpace::copy ( bool  share)
inlinevirtual

Copy space during cloning.

Implements Gecode::Space.

Definition at line 75 of file branch.cpp.


Friends And Related Function Documentation

const int n_int_var_branch
related
Initial value:

Number of integer variable selections.

Definition at line 150 of file branch.cpp.

const char* int_var_branch_name[]
related
Initial value:
{
"SINGLE VARIABLE",
"INT_VAR_NONE",
"INT_VAR_RND",
"INT_VAR_DEGREE_MIN",
"INT_VAR_DEGREE_MAX",
"INT_VAR_AFC_MIN",
"INT_VAR_AFC_MAX",
"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_SIZE_DEGREE_MIN",
"INT_VAR_SIZE_DEGREE_MAX",
"INT_VAR_SIZE_AFC_MIN",
"INT_VAR_SIZE_AFC_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 153 of file branch.cpp.

const int n_int_val_branch
related
Initial value:

Number of integer value selections.

Definition at line 190 of file branch.cpp.

const char* int_val_branch_name[]
related
Initial value:
{
"INT_VAL_MIN",
"INT_VAL_MED",
"INT_VAL_MAX",
"INT_VAL_RND",
"INT_VAL_SPLIT_MIN",
"INT_VAL_SPLIT_MAX",
"INT_VAL_RANGE_MIN",
"INT_VAL_RANGE_MAX",
"INT_VALUES_MIN",
"INT_VALUES_MAX"
}

Names for integer value selections.

Definition at line 193 of file branch.cpp.


Member Data Documentation

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

Variables to be tested.

Definition at line 59 of file branch.cpp.

Gecode::IntVarBranch Test::Branch::IntTestSpace::vara

Variable selection criteria.

Definition at line 61 of file branch.cpp.

Gecode::IntVarBranch Test::Branch::IntTestSpace::varb

Definition at line 61 of file branch.cpp.

Gecode::IntValBranch Test::Branch::IntTestSpace::val

Varlue selection criterion.

Definition at line 63 of file branch.cpp.


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