Generated on Sat Feb 7 2015 02:01:43 for Gecode by doxygen 1.8.9.1
Gecode::Float::Branch::ValCommitLqGq Class Reference

Value commit class for less or equal or greater or equal. More...

#include <branch.hh>

Public Member Functions

 ValCommitLqGq (Space &home, const ValBranch &vb)
 Constructor for initialization. More...
 
 ValCommitLqGq (Space &home, bool shared, ValCommitLqGq &vc)
 Constructor for cloning. More...
 
ModEvent commit (Space &home, unsigned int a, FloatView x, int i, FloatNumBranch n)
 Commit view x at position i to value n for alternative a. More...
 
NGLngl (Space &home, unsigned int a, FloatView x, FloatNumBranch n) const
 Create no-good literal for alternative a. More...
 
void print (const Space &home, unsigned int a, FloatView x, int i, FloatNumBranch n, std::ostream &o) const
 Print on o the alternative with view x at position i and value n. More...
 
- Public Member Functions inherited from Gecode::ValCommit< FloatView, FloatVal >
 ValCommit (Space &home, const ValBranch &vb)
 Constructor for initialization. More...
 
 ValCommit (Space &home, bool shared, ValCommit< View, Val > &vs)
 Constructor for cloning. More...
 
bool notice (void) const
 Whether dispose must always be called (that is, notice is needed) More...
 
void dispose (Space &home)
 Delete value commit. More...
 

Additional Inherited Members

- Public Types inherited from Gecode::ValCommit< FloatView, FloatVal >
typedef FloatView View
 View type. More...
 
typedef FloatVal Val
 Value type. More...
 

Detailed Description

Value commit class for less or equal or greater or equal.

Requires

Definition at line 279 of file branch.hh.

Constructor & Destructor Documentation

Gecode::Float::Branch::ValCommitLqGq::ValCommitLqGq ( Space home,
const ValBranch vb 
)
inline

Constructor for initialization.

Definition at line 45 of file val-commit.hpp.

Gecode::Float::Branch::ValCommitLqGq::ValCommitLqGq ( Space home,
bool  shared,
ValCommitLqGq vc 
)
inline

Constructor for cloning.

Definition at line 48 of file val-commit.hpp.

Member Function Documentation

ModEvent Gecode::Float::Branch::ValCommitLqGq::commit ( Space home,
unsigned int  a,
FloatView  x,
int  i,
FloatNumBranch  n 
)
inline

Commit view x at position i to value n for alternative a.

Definition at line 51 of file val-commit.hpp.

NGL * Gecode::Float::Branch::ValCommitLqGq::ngl ( Space home,
unsigned int  a,
FloatView  x,
FloatNumBranch  n 
) const
inline

Create no-good literal for alternative a.

Definition at line 67 of file val-commit.hpp.

void Gecode::Float::Branch::ValCommitLqGq::print ( const Space home,
unsigned int  a,
FloatView  x,
int  i,
FloatNumBranch  n,
std::ostream &  o 
) const
inline

Print on o the alternative with view x at position i and value n.

Definition at line 71 of file val-commit.hpp.


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