Gecode::Int::Exec::When Class Reference
[Integer propagators]

Conditional propagator. More...

#include <exec.hh>

List of all members.

Public Member Functions
virtual Actor *	copy (Space &home)
	Copy propagator during cloning.
virtual ExecStatus	propagate (Space &home, const ModEventDelta &med)
	Perform propagation.
virtual size_t	dispose (Space &home)
	Dispose propagator.
Static Public Member Functions
static ExecStatus	post (Home home, BoolView x, std::function< void(Space &home)> t, std::function< void(Space &home)> e)
	Post propagator.
Protected Member Functions
	When (Space &home, When &p)
	Constructor for cloning p.
	When (Home home, BoolView x, std::function< void(Space &home)> t, std::function< void(Space &home)> e)
	Constructor for creation.
Protected Attributes
SharedData< std::function < void(Space &home)> >	t
	Then function.
SharedData< std::function < void(Space &home)> >	e
	Else function pointer.

---

Detailed Description

Conditional propagator.

Requires

 #include <gecode/int/exec.hh> 

Definition at line 52 of file exec.hh.

---

Constructor & Destructor Documentation

Gecode::Int::Exec::When::When	(	Space &	home,
		When &	p
	)			[inline, protected]

Constructor for cloning p.

Definition at line 45 of file when.hpp.

Gecode::Int::Exec::When::When	(	Home	home,
		BoolView	x,
		std::function< void(Space &home)>	t,
		std::function< void(Space &home)>	e
	)			[inline, protected]

Constructor for creation.

Definition at line 37 of file when.hpp.

---

Member Function Documentation

Actor * Gecode::Int::Exec::When::copy

(

Space &

home

)

[virtual]

Copy propagator during cloning.

Implements Gecode::Actor.

Definition at line 38 of file when.cpp.

ExecStatus Gecode::Int::Exec::When::propagate	(	Space &	home,
		const ModEventDelta &	med
	)			[virtual]

Perform propagation.

Implements Gecode::Propagator.

Definition at line 43 of file when.cpp.

ExecStatus Gecode::Int::Exec::When::post	(	Home	home,
		BoolView	x,
		std::function< void(Space &home)>	t,
		std::function< void(Space &home)>	e
	)			[inline, static]

Post propagator.

Definition at line 50 of file when.hpp.

size_t Gecode::Int::Exec::When::dispose

(

Space &

home

)

[virtual]

Dispose propagator.

Reimplemented from Gecode::UnaryPropagator< BoolView, PC_BOOL_VAL >.

Definition at line 58 of file when.cpp.

---

Member Data Documentation

SharedData<std::function<void(Space& home)> > Gecode::Int::Exec::When::t [protected]

Then function.

Definition at line 56 of file exec.hh.

SharedData<std::function<void(Space& home)> > Gecode::Int::Exec::When::e [protected]

Else function pointer.

Definition at line 58 of file exec.hh.

---

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

• gecode/int/exec.hh
• gecode/int/exec/when.cpp
• gecode/int/exec/when.hpp