Generated on Tue May 22 09:41:48 2018 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 66 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 430 of file branch.cpp.

Member Function Documentation

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

Perform test.

Implements Test::Base.

Definition at line 435 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 69 of file branch.hh.

Domain of variables.

Definition at line 71 of file branch.hh.

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