Generated on Tue Apr 18 10:24:16 2017 for Gecode by doxygen 1.6.3

Test::Branch::IntTest Class Reference

Base class for tests for branching on integer variables More...

#include <branch.hh>

List of all members.

Public Member Functions

 IntTest (const std::string &s, int a, const Gecode::IntSet &d)
 Construct and register test.
virtual bool run (void)
 Perform test.
virtual void post (Gecode::Space &home, Gecode::IntVarArray &x)=0
 Post propagators on variables x.

Protected Attributes

int arity
 Number of variables.
Gecode::IntSet dom
 Domain of variables.

Detailed Description

Base class for tests for branching on integer variables

Definition at line 70 of file branch.hh.

Constructor & Destructor Documentation

Test::Branch::IntTest::IntTest ( const std::string &  s,
int  a,
const Gecode::IntSet d 

Construct and register test.

Definition at line 434 of file branch.cpp.

Member Function Documentation

bool Test::Branch::IntTest::run ( void   )  [virtual]

Perform test.

Implements Test::Base.

Definition at line 439 of file branch.cpp.

virtual void Test::Branch::IntTest::post ( Gecode::Space home,
Gecode::IntVarArray x 
) [pure virtual]

Post propagators on variables x.

Implemented in Test::Branch::Int.

Member Data Documentation

Number of variables.

Definition at line 73 of file branch.hh.

Domain of variables.

Definition at line 75 of file branch.hh.

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