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

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

Test for nroot constraint with shared variables More...

List of all members.

Public Member Functions

 NrootXX (const std::string &s, int n0, const Gecode::IntSet &d, Gecode::IntPropLevel ipl)
 Create and register test.
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 with shared variables

Definition at line 372 of file arithmetic.cpp.

Constructor & Destructor Documentation

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

Create and register test.

Definition at line 378 of file arithmetic.cpp.

Member Function Documentation

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

Test whether x is solution

Implements Test::Int::Test.

Definition at line 383 of file arithmetic.cpp.

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

Post constraint on x.

Implements Test::Int::Test.

Definition at line 393 of file arithmetic.cpp.

Member Data Documentation

The root index.

Definition at line 375 of file arithmetic.cpp.

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