Generated on Thu Mar 22 10:40:01 2012 for Gecode by doxygen 1.6.3

Test::Int::Bool::BinConstXX Class Reference
[Boolean constraints]

Test for binary Boolean operation with shared variables and constant More...

List of all members.

Public Member Functions

 BinConstXX (Gecode::BoolOpType op0, int c0)
 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.
int c
 Integer constant.

Detailed Description

Test for binary Boolean operation with shared variables and constant

Definition at line 196 of file bool.cpp.


Constructor & Destructor Documentation

Test::Int::Bool::BinConstXX::BinConstXX ( Gecode::BoolOpType  op0,
int  c0 
) [inline]

Construct and register test.

Definition at line 204 of file bool.cpp.


Member Function Documentation

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

Check whether x is solution.

Implements Test::Int::Test.

Definition at line 208 of file bool.cpp.

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

Post constraint.

Implements Test::Int::Test.

Definition at line 212 of file bool.cpp.


Member Data Documentation

Boolean operation type for test.

Definition at line 199 of file bool.cpp.

Integer constant.

Definition at line 201 of file bool.cpp.


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