Generated on Sat Jun 2 2018 07:17:44 for Gecode by doxygen 1.8.13
Gecode::FlatZinc::IntBoolBrancherBase Class Referenceabstract

Base-class for brancher for integer and Boolean views. More...

#include <branch.hh>

Public Member Functions

virtual bool status (const Space &home) const
 Check status of brancher, return true if alternatives left. More...
 
virtual const Choicechoice (Space &home)=0
 Return choice. More...
 
virtual const Choicechoice (const Space &home, Archive &e)
 Return choice. More...
 
virtual ExecStatus commit (Space &home, const Choice &c, unsigned int b)
 Perform commit for choice c and alternative b. More...
 
virtual NGLngl (Space &home, const Choice &c, unsigned int b) const
 Create no-good literal for choice c and alternative b. More...
 
virtual void print (const Space &home, const Choice &c, unsigned int b, std::ostream &o) const
 Print branch for choice c and alternative b. 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...
 
- Public Member Functions inherited from Gecode::Actor
virtual Actorcopy (Space &home)=0
 Create copy. More...
 
virtual ~Actor (void)
 To avoid warnings. More...
 

Protected Member Functions

 IntBoolBrancherBase (Space &home, IntBoolBrancherBase &b)
 Constructor for cloning b. More...
 
 IntBoolBrancherBase (Home home, ViewArray< Int::IntView > x, ViewArray< Int::BoolView > y, ValSelCommitBase< Int::IntView, int > *xvsc, ValSelCommitBase< Int::BoolView, int > *yvsc)
 Constructor for creation. More...
 
- Protected Member Functions inherited from Gecode::Brancher
 Brancher (Home home)
 Constructor for creation. More...
 
 Brancher (Space &home, Brancher &b)
 Constructor for cloning b. More...
 

Protected Attributes

ViewArray< Int::IntViewx
 Integer views to branch on. More...
 
ViewArray< Int::BoolViewy
 Boolean views to branch on. More...
 
int start
 Unassigned views start here (might be in x or y) More...
 
ValSelCommitBase< Int::IntView, int > * xvsc
 Integer value selection and commit object. More...
 
ValSelCommitBase< Int::BoolView, int > * yvsc
 Boolean value selection and commit object. More...
 

Additional Inherited Members

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

Detailed Description

Base-class for brancher for integer and Boolean views.

Definition at line 264 of file branch.hh.

Constructor & Destructor Documentation

◆ IntBoolBrancherBase() [1/2]

Gecode::FlatZinc::IntBoolBrancherBase::IntBoolBrancherBase ( Space home,
IntBoolBrancherBase b 
)
inlineprotected

Constructor for cloning b.

Definition at line 316 of file branch.hpp.

◆ IntBoolBrancherBase() [2/2]

Gecode::FlatZinc::IntBoolBrancherBase::IntBoolBrancherBase ( Home  home,
ViewArray< Int::IntView x,
ViewArray< Int::BoolView y,
ValSelCommitBase< Int::IntView, int > *  xvsc,
ValSelCommitBase< Int::BoolView, int > *  yvsc 
)
inlineprotected

Constructor for creation.

Definition at line 305 of file branch.hpp.

Member Function Documentation

◆ status()

bool Gecode::FlatZinc::IntBoolBrancherBase::status ( const Space home) const
virtual

Check status of brancher, return true if alternatives left.

Implements Gecode::Brancher.

Definition at line 48 of file branch.cpp.

◆ choice() [1/2]

virtual const Choice* Gecode::FlatZinc::IntBoolBrancherBase::choice ( Space home)
pure virtual

Return choice.

Implements Gecode::Brancher.

Implemented in Gecode::FlatZinc::IntBoolBrancher< Merit >.

◆ choice() [2/2]

const Choice * Gecode::FlatZinc::IntBoolBrancherBase::choice ( const Space home,
Archive e 
)
virtual

Return choice.

Implements Gecode::Brancher.

Definition at line 111 of file branch.cpp.

◆ commit()

ExecStatus Gecode::FlatZinc::IntBoolBrancherBase::commit ( Space home,
const Choice c,
unsigned int  b 
)
virtual

Perform commit for choice c and alternative b.

Implements Gecode::Brancher.

Definition at line 66 of file branch.cpp.

◆ ngl()

NGL * Gecode::FlatZinc::IntBoolBrancherBase::ngl ( Space home,
const Choice c,
unsigned int  b 
) const
virtual

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

Reimplemented from Gecode::Brancher.

Definition at line 82 of file branch.cpp.

◆ print()

void Gecode::FlatZinc::IntBoolBrancherBase::print ( const Space home,
const Choice c,
unsigned int  b,
std::ostream &  o 
) const
virtual

Print branch for choice c and alternative b.

Reimplemented from Gecode::Brancher.

Definition at line 96 of file branch.cpp.

◆ dispose()

size_t Gecode::FlatZinc::IntBoolBrancherBase::dispose ( Space home)
inlinevirtual

Delete brancher and return its size.

Reimplemented from Gecode::Actor.

Reimplemented in Gecode::FlatZinc::IntBoolBrancher< Merit >.

Definition at line 324 of file branch.hpp.

Member Data Documentation

◆ x

ViewArray<Int::IntView> Gecode::FlatZinc::IntBoolBrancherBase::x
protected

Integer views to branch on.

Definition at line 267 of file branch.hh.

◆ y

ViewArray<Int::BoolView> Gecode::FlatZinc::IntBoolBrancherBase::y
protected

Boolean views to branch on.

Definition at line 269 of file branch.hh.

◆ start

int Gecode::FlatZinc::IntBoolBrancherBase::start
mutableprotected

Unassigned views start here (might be in x or y)

Definition at line 271 of file branch.hh.

◆ xvsc

ValSelCommitBase<Int::IntView,int>* Gecode::FlatZinc::IntBoolBrancherBase::xvsc
protected

Integer value selection and commit object.

Definition at line 273 of file branch.hh.

◆ yvsc

ValSelCommitBase<Int::BoolView,int>* Gecode::FlatZinc::IntBoolBrancherBase::yvsc
protected

Boolean value selection and commit object.

Definition at line 275 of file branch.hh.


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