Generated on Mon May 10 06:46:56 2010 for Gecode by doxygen 1.6.3

Gecode::Graph::Circuit::Base< View > Class Template Reference

Base-class for circuit propagator. More...

#include <circuit.hh>

List of all members.

Public Member Functions

virtual size_t dispose (Space &home)
 Delete propagator and return its size.

Protected Member Functions

 Base (Space &home, bool share, Base &p)
 Constructor for cloning p.
 Base (Home home, ViewArray< View > &x)
 Constructor for posting.
ExecStatus connected (Space &home)
 Check whether the view value graph is strongly connected.
ExecStatus path (Space &home)
 Ensure path property: prune edges that could give to small cycles.

Protected Attributes

ViewArray< View > y
 Array for performing value propagation for distinct.

Detailed Description

template<class View>
class Gecode::Graph::Circuit::Base< View >

Base-class for circuit propagator.

Provides routines for checking that the induced variable value graph is strongly connected and for pruning short cycles.

Definition at line 59 of file circuit.hh.


Constructor & Destructor Documentation

template<class View >
Gecode::Graph::Circuit::Base< View >::Base ( Space home,
bool  share,
Base< View > &  p 
) [inline, protected]

Constructor for cloning p.

Definition at line 49 of file base.hpp.

template<class View >
Gecode::Graph::Circuit::Base< View >::Base ( Home  home,
ViewArray< View > &  x 
) [inline, protected]

Constructor for posting.

Definition at line 42 of file base.hpp.


Member Function Documentation

template<class View >
ExecStatus Gecode::Graph::Circuit::Base< View >::connected ( Space home  )  [inline, protected]

Check whether the view value graph is strongly connected.

First non-assigned node.

Information needed for checking scc's

Definition at line 71 of file base.hpp.

template<class View >
ExecStatus Gecode::Graph::Circuit::Base< View >::path ( Space home  )  [inline, protected]

Ensure path property: prune edges that could give to small cycles.

Definition at line 203 of file base.hpp.

template<class View >
size_t Gecode::Graph::Circuit::Base< View >::dispose ( Space home  )  [inline, virtual]

Delete propagator and return its size.

Reimplemented from Gecode::NaryPropagator< View, Int::PC_INT_DOM >.

Definition at line 256 of file base.hpp.


Member Data Documentation

template<class View>
ViewArray<View> Gecode::Graph::Circuit::Base< View >::y [protected]

Array for performing value propagation for distinct.

Definition at line 63 of file circuit.hh.


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