Generated on Tue Feb 11 2025 17:33:26 for Gecode by doxygen 1.12.0
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.
 
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.
 
- Public Member Functions inherited from Gecode::Brancher
unsigned int id (void) const
 Return brancher id.
 
BrancherGroup group (void) const
 Return group brancher belongs to.
 
void group (BrancherGroup g)
 Add brancher to group g.
 
- Public Member Functions inherited from Gecode::Actor
virtual Actorcopy (Space &home)=0
 Create copy.
 
virtual ~Actor (void)
 To avoid warnings.
 

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 Member Functions inherited from Gecode::Brancher
 Brancher (Home home)
 Constructor for creation.
 
 Brancher (Space &home, Brancher &b)
 Constructor for cloning b.
 

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.
 

Additional Inherited Members

- Static Public Member Functions inherited from Gecode::Actor
static void * operator new (size_t s, Space &home)
 Allocate memory from space.
 
static void operator delete (void *p, Space &home)
 No-op for exceptions.
 
static void * operator new (size_t s)
 Not used.
 
static void operator delete (void *p)
 Not used.
 

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 315 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 304 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: