Generated on Thu Mar 22 10:39:57 2012 for Gecode by doxygen 1.6.3

Gecode::Int::NoOverlap Namespace Reference

No-overlap propagators More...

Classes

class  FixDim
 Dimension combining coordinate and integer size information. More...
class  FlexDim
 Dimension combining coordinate and integer view size information. More...
class  ManBox
 Mandatory box class. More...
class  OptBox
 Optional box class. More...
class  Base
 Base class for no-overlap propagator. More...
class  ManProp
 No-overlap propagator for mandatory boxes. More...
class  OptProp
 No-overlap propagator for optional boxes. More...

Functions

bool optional (const BoolVarArgs &m)

Detailed Description

No-overlap propagators


Function Documentation

bool Gecode::Int::NoOverlap::optional ( const BoolVarArgs &  m  ) 

Definition at line 42 of file no-overlap.cpp.