Generated on Sun Feb 17 15:25:06 2019 for Gecode by doxygen 1.6.3

Gecode::BoolExpr::Misc Class Reference

Miscealloneous Boolean expressions. More...

#include <minimodel.hh>

List of all members.

Public Member Functions

 Misc (void)
 Default constructor.
virtual void post (Home home, BoolVar b, bool neg, const IntPropLevels &ipls)=0
virtual ~Misc (void)

Detailed Description

Miscealloneous Boolean expressions.

Definition at line 1344 of file minimodel.hh.

Constructor & Destructor Documentation

Gecode::BoolExpr::Misc::Misc ( void   )  [inline]

Default constructor.

Definition at line 42 of file bool-expr.hpp.

Gecode::BoolExpr::Misc::~Misc ( void   )  [virtual]


Definition at line 216 of file bool-expr.cpp.

Member Function Documentation

virtual void Gecode::BoolExpr::Misc::post ( Home  home,
BoolVar  b,
bool  neg,
const IntPropLevels ipls 
) [pure virtual]

Constrain b to be equivalent to the expression (negated if neg) with propagation level ipl.

Implemented in Gecode::BElementExpr.

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