Generated on Tue Sep 25 2012 20:53:29 for Gecode by doxygen 1.7.5
Gecode::Int::Circuit::Base Class 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, Offset &o)
 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.
Offset o
 Offset transformation.

Detailed Description

Base-class for circuit propagator.

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


Constructor & Destructor Documentation

Gecode::Int::Circuit::Base::Base ( Space home,
bool  share,
Base p 
) [protected]

Constructor for cloning p.

Gecode::Int::Circuit::Base::Base ( Home  home,
ViewArray< View > &  x,
Offset o 
) [inline, protected]

Constructor for posting.

Definition at line 42 of file base.hpp.


Member Function Documentation

ExecStatus Gecode::Int::Circuit::Base::connected ( Space home) [protected]

Check whether the view value graph is strongly connected.

First non-assigned node.

Information needed for checking scc's

Definition at line 72 of file base.hpp.

ExecStatus Gecode::Int::Circuit::Base::path ( Space home) [protected]

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

Definition at line 207 of file base.hpp.

size_t Gecode::Int::Circuit::Base::dispose ( Space home) [inline, virtual]

Delete propagator and return its size.

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

Definition at line 261 of file base.hpp.


Member Data Documentation

Array for performing value propagation for distinct.

Definition at line 63 of file circuit.hh.

Offset transformation.

Definition at line 65 of file circuit.hh.


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