Test::Fault::FaultBoolMisc Class Reference

Public Member Functions
	FaultBoolMisc (void)
virtual	~FaultBoolMisc (void)
virtual void	post (Home, BoolVar, bool, const IntPropLevels &)
Public Member Functions inherited from Gecode::BoolExpr::Misc
	Misc (void)
	Default constructor.
virtual	~Misc (void)
	Destructor.

Static Public Attributes
static int	disposed = 0

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

Detailed Description

Definition at line 912 of file fault.cpp.

Constructor & Destructor Documentation

FaultBoolMisc()

Test::Fault::FaultBoolMisc::FaultBoolMisc ( void )

inline

Definition at line 916 of file fault.cpp.

~FaultBoolMisc()

virtual Test::Fault::FaultBoolMisc::~FaultBoolMisc ( void )

inlinevirtual

Definition at line 917 of file fault.cpp.

Member Function Documentation

post()

virtual void Test::Fault::FaultBoolMisc::post ( Home home, BoolVar b, bool neg, const IntPropLevels & ipls )

inlinevirtual

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

Implements Gecode::BoolExpr::Misc.

Definition at line 920 of file fault.cpp.

Member Data Documentation

disposed

int Test::Fault::FaultBoolMisc::disposed = 0

static

Definition at line 914 of file fault.cpp.

---

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

• test/fault.cpp