Generated on Wed Jul 27 2011 15:09:20 for Gecode by doxygen 1.7.4
Test::Int::Bool::ClauseXYZ Class Reference

Test for Clause Boolean operation More...

List of all members.

Public Member Functions

 ClauseXYZ (Gecode::BoolOpType op0, int n)
 Construct and register test.
virtual bool solution (const Assignment &x) const
 Check whether x is solution.
virtual void post (Gecode::Space &home, Gecode::IntVarArray &x)
 Post constraint.

Protected Attributes

Gecode::BoolOpType op
 Boolean operation type for test.

Detailed Description

Test for Clause Boolean operation

Definition at line 303 of file bool.cpp.


Constructor & Destructor Documentation

Test::Int::Bool::ClauseXYZ::ClauseXYZ ( Gecode::BoolOpType  op0,
int  n 
) [inline]

Construct and register test.

Definition at line 309 of file bool.cpp.


Member Function Documentation

virtual bool Test::Int::Bool::ClauseXYZ::solution ( const Assignment x) const [inline, virtual]

Check whether x is solution.

Implements Test::Int::Test.

Definition at line 312 of file bool.cpp.

virtual void Test::Int::Bool::ClauseXYZ::post ( Gecode::Space home,
Gecode::IntVarArray x 
) [inline, virtual]

Post constraint.

Implements Test::Int::Test.

Definition at line 325 of file bool.cpp.


Member Data Documentation

Boolean operation type for test.

Definition at line 306 of file bool.cpp.


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