Gecode::Int::Bool::Clause< VX, VY >::Tagged Class Reference
Advisors for views (tagged whether for x or y) More...
#include <bool.hh>
Public Member Functions | |
| Tagged (Space &home, Propagator &p, Council< Tagged > &c, bool x) | |
| Create tagged advisor. | |
| Tagged (Space &home, bool share, 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 501 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 197 of file clause.hpp.
template<class VX , class VY >
| Gecode::Int::Bool::Clause< VX, VY >::Tagged::Tagged | ( | Space & | home, | |
| bool | share, | |||
| Tagged & | a | |||
| ) | [inline] |
Clone tagged advisor a.
Definition at line 203 of file clause.hpp.
Member Data Documentation
template<class VX, class VY>
| const bool Gecode::Int::Bool::Clause< VX, VY >::Tagged::x |
The documentation for this class was generated from the following files:
- gecode/int/bool.hh (Revision: 12427)
- gecode/int/bool/clause.hpp (Revision: 10364)