Generated on Tue Apr 18 10:24:23 2017 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 376 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 382 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 387 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 397 of file arithmetic.cpp.

Member Data Documentation

The root index.

Definition at line 379 of file arithmetic.cpp.

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