Generated on Thu Mar 16 2017 03:24:31 for Gecode by doxygen 1.8.13
Gecode::Int::Branch::ViewValuesBrancher< n, min > Class Template Reference

Brancher by view and values selection More...

#include <branch.hh>

Public Member Functions

virtual const Choicechoice (Space &home)
 Return choice. More...
 
virtual const Choicechoice (const Space &home, Archive &e)
 Return choice. More...
 
virtual ExecStatus commit (Space &home, const Choice &c, unsigned int a)
 Perform commit for choice c and alternative a. More...
 
virtual NGLngl (Space &home, const Choice &c, unsigned int a) const
 Create no-good literal for choice c and alternative a. More...
 
virtual void print (const Space &home, const Choice &c, unsigned int a, std::ostream &o) const
 Print branch for choice c and alternative a. More...
 
virtual Actorcopy (Space &home, bool share)
 Perform cloning. More...
 
- Public Member Functions inherited from Gecode::ViewBrancher< IntView, n >
virtual bool status (const Space &home) const
 Check status of brancher, return true if alternatives left. More...
 
virtual size_t dispose (Space &home)
 Delete brancher and return its size. More...
 
- Public Member Functions inherited from Gecode::Brancher
unsigned int id (void) const
 Return brancher id. More...
 
BrancherGroup group (void) const
 Return group brancher belongs to. More...
 
void group (BrancherGroup g)
 Add brancher to group g. More...
 
void kill (Space &home)
 Kill brancher. More...
 
- Public Member Functions inherited from Gecode::Actor
virtual ~Actor (void)
 To avoid warnings. More...
 

Static Public Member Functions

static void post (Home home, ViewArray< IntView > &x, ViewSel< IntView > *vs[n], BranchFilter bf, IntVarValPrint vvp)
 Constructor for creation. More...
 
- Static Public Member Functions inherited from Gecode::Actor
static void * operator new (size_t s)
 Not used. More...
 
static void operator delete (void *p)
 Not used. More...
 
static void * operator new (size_t s, Space &home)
 Allocate memory from space. More...
 
static void operator delete (void *p, Space &home)
 No-op for exceptions. More...
 

Protected Member Functions

 ViewValuesBrancher (Space &home, bool shared, ViewValuesBrancher &b)
 Constructor for cloning b. More...
 
 ViewValuesBrancher (Home home, ViewArray< IntView > &x, ViewSel< IntView > *vs[n], BranchFilter bf, IntVarValPrint vvp)
 Constructor for creation. More...
 
- Protected Member Functions inherited from Gecode::ViewBrancher< IntView, n >
Pos pos (Space &home)
 Return position information. More...
 
IntView view (const Pos &p) const
 Return view according to position information p. More...
 
 ViewBrancher (Space &home, bool shared, ViewBrancher< IntView, n > &b)
 Constructor for cloning b. More...
 
 ViewBrancher (Home home, ViewArray< IntView > &x, ViewSel< IntView > *vs[n], BranchFilter bf)
 Constructor for creation. More...
 
- Protected Member Functions inherited from Gecode::Brancher
 Brancher (Home home)
 Constructor for creation. More...
 
 Brancher (Space &home, bool share, Brancher &b)
 Constructor for cloning b. More...
 

Protected Attributes

IntVarValPrint vvp
 Print function. More...
 
- Protected Attributes inherited from Gecode::ViewBrancher< IntView, n >
ViewArray< IntViewx
 Views to branch on. More...
 
int start
 Unassigned views start at x[start]. More...
 
ViewSel< IntView > * vs [n]
 View selection objects. More...
 
BranchFilter bf
 Branch filter function. More...
 

Additional Inherited Members

- Protected Types inherited from Gecode::ViewBrancher< IntView, n >
typedef BranchTraits< typename IntView ::VarType >::Filter BranchFilter
 The branch filter that corresponds to the var type. More...
 

Detailed Description

template<int n, bool min>
class Gecode::Int::Branch::ViewValuesBrancher< n, min >

Brancher by view and values selection

Definition at line 632 of file branch.hh.

Constructor & Destructor Documentation

◆ ViewValuesBrancher() [1/2]

template<int n, bool min>
Gecode::Int::Branch::ViewValuesBrancher< n, min >::ViewValuesBrancher ( Space home,
bool  shared,
ViewValuesBrancher< n, min > &  b 
)
inlineprotected

Constructor for cloning b.

Definition at line 113 of file view-values.hpp.

◆ ViewValuesBrancher() [2/2]

template<int n, bool min>
Gecode::Int::Branch::ViewValuesBrancher< n, min >::ViewValuesBrancher ( Home  home,
ViewArray< IntView > &  x,
ViewSel< IntView > *  vs[n],
BranchFilter  bf,
IntVarValPrint  vvp 
)
inlineprotected

Constructor for creation.

Definition at line 97 of file view-values.hpp.

Member Function Documentation

◆ choice() [1/2]

template<int n, bool min>
const Choice * Gecode::Int::Branch::ViewValuesBrancher< n, min >::choice ( Space home)
virtual

Return choice.

Implements Gecode::Brancher.

Definition at line 124 of file view-values.hpp.

◆ choice() [2/2]

template<int n, bool min>
const Choice * Gecode::Int::Branch::ViewValuesBrancher< n, min >::choice ( const Space home,
Archive e 
)
virtual

Return choice.

Implements Gecode::Brancher.

Definition at line 132 of file view-values.hpp.

◆ commit()

template<int n, bool min>
ExecStatus Gecode::Int::Branch::ViewValuesBrancher< n, min >::commit ( Space home,
const Choice c,
unsigned int  a 
)
virtual

Perform commit for choice c and alternative a.

Implements Gecode::Brancher.

Definition at line 142 of file view-values.hpp.

◆ ngl()

template<int n, bool min>
NGL * Gecode::Int::Branch::ViewValuesBrancher< n, min >::ngl ( Space home,
const Choice c,
unsigned int  a 
) const
virtual

Create no-good literal for choice c and alternative a.

Reimplemented from Gecode::Brancher.

Definition at line 153 of file view-values.hpp.

◆ print()

template<int n, bool min>
void Gecode::Int::Branch::ViewValuesBrancher< n, min >::print ( const Space home,
const Choice c,
unsigned int  a,
std::ostream &  o 
) const
virtual

Print branch for choice c and alternative a.

Prints an explanation of the alternative a of choice c on the stream o.

Reimplemented from Gecode::Brancher.

Definition at line 164 of file view-values.hpp.

◆ copy()

template<int n, bool min>
Actor * Gecode::Int::Branch::ViewValuesBrancher< n, min >::copy ( Space home,
bool  share 
)
virtual

Perform cloning.

Implements Gecode::Actor.

Definition at line 118 of file view-values.hpp.

◆ post()

template<int n, bool min>
void Gecode::Int::Branch::ViewValuesBrancher< n, min >::post ( Home  home,
ViewArray< IntView > &  x,
ViewSel< IntView > *  vs[n],
BranchFilter  bf,
IntVarValPrint  vvp 
)
static

Constructor for creation.

Definition at line 104 of file view-values.hpp.

Member Data Documentation

◆ vvp

template<int n, bool min>
IntVarValPrint Gecode::Int::Branch::ViewValuesBrancher< n, min >::vvp
protected

Print function.

Definition at line 637 of file branch.hh.


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