Generated on Fri Oct 19 11:25:53 2018 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, IntPropLevel ipl)=0
virtual ~Misc (void)

Detailed Description

Miscealloneous Boolean expressions.

Definition at line 1240 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,
IntPropLevel  ipl 
) [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: