Generated on Thu Apr 5 2018 19:44:19 for Gecode by doxygen 1.8.13
Gecode::BoolExpr::Misc Class Referenceabstract

Miscealloneous Boolean expressions. More...

#include <minimodel.hh>

Public Member Functions

 Misc (void)
 Default constructor. More...
 
virtual void post (Home home, BoolVar b, bool neg, IntPropLevel ipl)=0
 
virtual ~Misc (void)
 Destructor. More...
 

Additional Inherited Members

- Static Public Member Functions inherited from Gecode::HeapAllocated
static void * operator new (size_t s)
 Memory management. More...
 
static void operator delete (void *p)
 Free memory allocated from heap. More...
 

Detailed Description

Miscealloneous Boolean expressions.

Definition at line 1244 of file minimodel.hh.

Constructor & Destructor Documentation

◆ Misc()

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

Default constructor.

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

◆ ~Misc()

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

Destructor.

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

Member Function Documentation

◆ post()

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: