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. |
Advisors for views (tagged whether for x or y)
Gecode::Int::Bool::Clause::Tagged::Tagged | ( | Space & | home, |
Propagator & | p, | ||
Council< Tagged > & | c, | ||
bool | x | ||
) | [inline] |
Create tagged advisor.
Definition at line 197 of file clause.hpp.
Clone tagged advisor a.
Definition at line 203 of file clause.hpp.
const bool Gecode::Int::Bool::Clause::Tagged::x |