Gecode::Set::Int::Card< View > Class Template Reference

Propagator for cardinality More...

#include <int.hh>

Public Member Functions
virtual Actor *	copy (Space &home, bool)
	Copy propagator during cloning.
virtual ExecStatus	propagate (Space &home, const ModEventDelta &med)
	Perform propagation.
Public Member Functions inherited from Gecode::MixBinaryPropagator< View, PC_SET_CARD, Gecode::Int::IntView, Gecode::Int::PC_INT_BND >
virtual PropCost	cost (const Space &home, const ModEventDelta &med) const
	Cost function (defined as low binary)
virtual size_t	dispose (Space &home)
	Delete propagator and return its size.
Public Member Functions inherited from Gecode::Propagator
ModEventDelta	modeventdelta (void) const
	Return the modification event delta.
virtual ExecStatus	advise (Space &home, Advisor &a, const Delta &d)
	Advise function.
double	afc (void) const
	Return the accumlated failure count.

Static Public Member Functions
static ExecStatus	post (Home home, View s, Gecode::Int::IntView x)
	Post propagator for .

Protected Member Functions
	Card (Space &home, bool share, Card &p)
	Constructor for cloning p.
	Card (Home home, View, Gecode::Int::IntView)
	Constructor for posting.
Protected Member Functions inherited from Gecode::MixBinaryPropagator< View, PC_SET_CARD, Gecode::Int::IntView, Gecode::Int::PC_INT_BND >
	MixBinaryPropagator (Space &home, bool, MixBinaryPropagator &)
	Constructor for cloning.
	MixBinaryPropagator (Home home, View, Gecode::Int::IntView)
	Constructor for creation.
	MixBinaryPropagator (Space &home, bool share, Propagator &p, Viewx0, Gecode::Int::IntViewx1)
	Constructor for rewriting p during cloning.
Protected Member Functions inherited from Gecode::Propagator
	Propagator (Home home)
	Constructor for posting.
	Propagator (Space &home, bool share, Propagator &p)
	Constructor for cloning p.

Additional Inherited Members
Protected Attributes inherited from Gecode::MixBinaryPropagator< View, PC_SET_CARD, Gecode::Int::IntView, Gecode::Int::PC_INT_BND >
View	x0
	View of type View0.
Gecode::Int::IntView	x1
	View of type View1.

Detailed Description

template<class View>
class Gecode::Set::Int::Card< View >

Propagator for cardinality

Requires

#include <gecode/set/int.hh> 

Definition at line 233 of file int.hh.

Constructor & Destructor Documentation

template<class View >

Gecode::Set::Int::Card< View >::Card ( Space &  home, bool  share, Card< View > &  p  )

inlineprotected

Constructor for cloning p.

Definition at line 64 of file card.hpp.

template<class View >

Gecode::Set::Int::Card< View >::Card ( Home  home, View  y0, Gecode::Int::IntView  y1  )

inlineprotected

Constructor for posting.

Definition at line 49 of file card.hpp.

Member Function Documentation

template<class View >

Actor * Gecode::Set::Int::Card< View >::copy ( Space &  home, bool  share  )

virtual

Copy propagator during cloning.

Implements Gecode::Actor.

Definition at line 70 of file card.hpp.

template<class View >

ExecStatus Gecode::Set::Int::Card< View >::propagate ( Space &  home, const ModEventDelta &  med  )

virtual

Perform propagation.

Implements Gecode::Propagator.

Definition at line 76 of file card.hpp.

template<class View >

ExecStatus Gecode::Set::Int::Card< View >::post ( Home  home, View  s, Gecode::Int::IntView  x  )

inlinestatic

Post propagator for .

Definition at line 55 of file card.hpp.

---

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

• gecode/set/int.hh (Revision: 11973)
• gecode/set/int/card.hpp (Revision: 10603)