Generated on Tue May 22 09:41:23 2018 for Gecode by doxygen 1.6.3

Gecode::Int::Bool::Clause< VX, VY >::Tagged Class Reference

Advisors for views (tagged whether for x or y) More...

#include <bool.hh>

List of all members.

Public Member Functions

 Tagged (Space &home, Propagator &p, Council< Tagged > &c, bool x)
 Create tagged advisor.
 Tagged (Space &home, Tagged &a)
 Clone tagged advisor a.

Public Attributes

const bool x
 Whether advises a view for x or y.

Detailed Description

template<class VX, class VY>
class Gecode::Int::Bool::Clause< VX, VY >::Tagged

Advisors for views (tagged whether for x or y)

Definition at line 503 of file bool.hh.


Constructor & Destructor Documentation

template<class VX , class VY >
Gecode::Int::Bool::Clause< VX, VY >::Tagged::Tagged ( Space home,
Propagator p,
Council< Tagged > &  c,
bool  x 
) [inline]

Create tagged advisor.

Definition at line 193 of file clause.hpp.

template<class VX , class VY >
Gecode::Int::Bool::Clause< VX, VY >::Tagged::Tagged ( Space home,
Tagged a 
) [inline]

Clone tagged advisor a.

Definition at line 199 of file clause.hpp.


Member Data Documentation

template<class VX, class VY>
const bool Gecode::Int::Bool::Clause< VX, VY >::Tagged::x

Whether advises a view for x or y.

Definition at line 506 of file bool.hh.


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