Generated on Tue Apr 18 10:23:43 2017 for Gecode by doxygen 1.6.3

Gecode::Int::Bool::NaryEqv Class Reference
[Integer propagators]

Boolean n-ary equivalence propagator. More...

#include <bool.hh>

List of all members.

Public Member Functions

virtual Actorcopy (Space &home, bool share)
 Copy propagator during cloning.
virtual PropCost cost (const Space &home, const ModEventDelta &med) const
 Cost function (defined as low binary).
virtual ExecStatus propagate (Space &home, const ModEventDelta &med)
 Perform propagation.
virtual size_t dispose (Space &home)
 Delete propagator and return its size.

Static Public Member Functions

static ExecStatus post (Home home, ViewArray< BoolView > &x, int pm2)
 Post propagator $ x_0 \Leftrightarrow x_1 \Leftrightarrow \cdots \Leftrightarrow x_{|x|-1}=p$.

Protected Member Functions

void resubscribe (Space &home, BoolView &x0)
 Update subscription.
 NaryEqv (Home home, ViewArray< BoolView > &x, int pm2)
 Constructor for posting.
 NaryEqv (Space &home, bool share, NaryEqv &p)
 Constructor for cloning p.

Protected Attributes

ViewArray< BoolViewx
 Views not yet subscribed to.
int pm2
 Parity information mod 2.

Detailed Description

Boolean n-ary equivalence propagator.

Enforces that the parity of the views is odd.

Requires

 #include <gecode/int/bool.hh> 

Definition at line 457 of file bool.hh.


Constructor & Destructor Documentation

Gecode::Int::Bool::NaryEqv::NaryEqv ( Home  home,
ViewArray< BoolView > &  x,
int  pm2 
) [inline, protected]

Constructor for posting.

Definition at line 162 of file eqv.hpp.

Gecode::Int::Bool::NaryEqv::NaryEqv ( Space home,
bool  share,
NaryEqv p 
) [inline, protected]

Constructor for cloning p.

Definition at line 170 of file eqv.hpp.


Member Function Documentation

void Gecode::Int::Bool::NaryEqv::resubscribe ( Space home,
BoolView x0 
) [inline, protected]

Update subscription.

Definition at line 182 of file eqv.hpp.

Actor * Gecode::Int::Bool::NaryEqv::copy ( Space home,
bool  share 
) [virtual]

Copy propagator during cloning.

Implements Gecode::Actor.

Definition at line 53 of file eqv.cpp.

PropCost Gecode::Int::Bool::NaryEqv::cost ( const Space home,
const ModEventDelta med 
) const [virtual]

Cost function (defined as low binary).

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

Definition at line 48 of file eqv.cpp.

ExecStatus Gecode::Int::Bool::NaryEqv::propagate ( Space home,
const ModEventDelta med 
) [virtual]

Perform propagation.

Implements Gecode::Propagator.

Definition at line 85 of file eqv.cpp.

ExecStatus Gecode::Int::Bool::NaryEqv::post ( Home  home,
ViewArray< BoolView > &  x,
int  pm2 
) [static]

Post propagator $ x_0 \Leftrightarrow x_1 \Leftrightarrow \cdots \Leftrightarrow x_{|x|-1}=p$.

Definition at line 58 of file eqv.cpp.

size_t Gecode::Int::Bool::NaryEqv::dispose ( Space home  )  [inline, virtual]

Delete propagator and return its size.

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

Definition at line 176 of file eqv.hpp.


Member Data Documentation

Views not yet subscribed to.

Definition at line 462 of file bool.hh.

Parity information mod 2.

Definition at line 464 of file bool.hh.


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