Generated on Tue May 22 09:41:52 2018 for Gecode by doxygen 1.6.3

Test::Int::Arithmetic::NrootXY Class Reference
[Arithmetic constraints]

Test for nroot constraint More...

List of all members.

Public Member Functions

 NrootXY (const std::string &s, int n0, const Gecode::IntSet &d, Gecode::IntPropLevel ipl)
 Floor.
virtual bool solution (const Assignment &x) const
 Test whether x is solution
virtual void post (Gecode::Space &home, Gecode::IntVarArray &x)
 Post constraint on x.

Protected Attributes

int n
 The root index.

Detailed Description

Test for nroot constraint

Definition at line 341 of file arithmetic.cpp.


Constructor & Destructor Documentation

Test::Int::Arithmetic::NrootXY::NrootXY ( const std::string &  s,
int  n0,
const Gecode::IntSet d,
Gecode::IntPropLevel  ipl 
) [inline]

Floor.

Create and register test

Definition at line 348 of file arithmetic.cpp.


Member Function Documentation

virtual bool Test::Int::Arithmetic::NrootXY::solution ( const Assignment x  )  const [inline, virtual]

Test whether x is solution

Implements Test::Int::Test.

Definition at line 353 of file arithmetic.cpp.

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

Post constraint on x.

Implements Test::Int::Test.

Definition at line 362 of file arithmetic.cpp.


Member Data Documentation

The root index.

Definition at line 344 of file arithmetic.cpp.


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