Generated on Thu Apr 11 13:59:50 2019 for Gecode by doxygen 1.6.3

Gecode::FlatZinc::IntBoolBrancherBase Class Reference

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

#include <branch.hh>

List of all members.

Public Member Functions

virtual bool status (const Space &home) const
 Check status of brancher, return true if alternatives left.
virtual const Choicechoice (Space &home)=0
 Return choice.
virtual const Choicechoice (const Space &home, Archive &e)
 Return choice.
virtual ExecStatus commit (Space &home, const Choice &c, unsigned int b)
 Perform commit for choice c and alternative b.
virtual NGLngl (Space &home, const Choice &c, unsigned int b) const
 Create no-good literal for choice c and alternative b.
virtual void print (const Space &home, const Choice &c, unsigned int b, std::ostream &o) const
 Print branch for choice c and alternative b.
virtual size_t dispose (Space &home)
 Delete brancher and return its size.

Protected Member Functions

 IntBoolBrancherBase (Space &home, IntBoolBrancherBase &b)
 Constructor for cloning b.
 IntBoolBrancherBase (Home home, ViewArray< Int::IntView > x, ViewArray< Int::BoolView > y, ValSelCommitBase< Int::IntView, int > *xvsc, ValSelCommitBase< Int::BoolView, int > *yvsc)
 Constructor for creation.

Protected Attributes

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

Detailed Description

Base-class for brancher for integer and Boolean views.

Definition at line 264 of file branch.hh.


Constructor & Destructor Documentation

Gecode::FlatZinc::IntBoolBrancherBase::IntBoolBrancherBase ( Space home,
IntBoolBrancherBase b 
) [inline, protected]

Constructor for cloning b.

Definition at line 316 of file branch.hpp.

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

Constructor for creation.

Definition at line 305 of file branch.hpp.


Member Function Documentation

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

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

Return choice.

Implements Gecode::Brancher.

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

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

Return choice.

Implements Gecode::Brancher.

Definition at line 110 of file branch.cpp.

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

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

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

size_t Gecode::FlatZinc::IntBoolBrancherBase::dispose ( Space home  )  [inline, virtual]

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

Integer views to branch on.

Definition at line 267 of file branch.hh.

Boolean views to branch on.

Definition at line 269 of file branch.hh.

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

Definition at line 271 of file branch.hh.

Integer value selection and commit object.

Definition at line 273 of file branch.hh.

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: