Gecode::Int::Circuit::Base< View, Offset > 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, 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

template<class View, class Offset>
class Gecode::Int::Circuit::Base< View, Offset >

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, class Offset>

Gecode::Int::Circuit::Base< View, Offset >::Base	(	Space &	home,
		bool	share,
		Base< View, Offset > &	p
	)			[protected]

Constructor for cloning p.

template<class View , class Offset >

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

Constructor for posting.

Definition at line 42 of file base.hpp.

---

Member Function Documentation

template<class View , class Offset >

ExecStatus Gecode::Int::Circuit::Base< View, Offset >::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 72 of file base.hpp.

template<class View , class Offset >

ExecStatus Gecode::Int::Circuit::Base< View, Offset >::path

(

Space &

home

)

[inline, protected]

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

Definition at line 207 of file base.hpp.

template<class View , class Offset >

size_t Gecode::Int::Circuit::Base< View, Offset >::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

template<class View, class Offset>

ViewArray<View> Gecode::Int::Circuit::Base< View, Offset >::y [protected]

Array for performing value propagation for distinct.

Definition at line 63 of file circuit.hh.

template<class View, class Offset>

Offset Gecode::Int::Circuit::Base< View, Offset >::o [protected]

Offset transformation.

Definition at line 65 of file circuit.hh.

---

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

• gecode/int/circuit.hh (Revision: 12022)
• gecode/int/circuit/base.hpp (Revision: 12400)