36 template<
class Char,
class Traits>
37 inline std::basic_ostream<Char,Traits>&
43 template<
class Char,
class Traits>
44 inline std::basic_ostream<Char,Traits>&
Node * x
Pointer to corresponding Boolean expression node.
Boolean integer variables.
Boolean view for Boolean variables.
Integer view for integer variables.
std::basic_ostream< Char, Traits > & operator<<(std::basic_ostream< Char, Traits > &os, const SingletonView &x)