Go to the source code of this file.
◆ operator<<() [1/2]
template<class Char , class Traits >
std::basic_ostream<Char,Traits>& Gecode::operator<< |
( |
std::basic_ostream< Char, Traits > & |
os, |
|
|
const IntVar & |
x |
|
) |
| |
|
related |
◆ operator<<() [2/2]
template<class Char , class Traits >
std::basic_ostream<Char,Traits>& Gecode::operator<< |
( |
std::basic_ostream< Char, Traits > & |
os, |
|
|
const BoolVar & |
x |
|
) |
| |
|
related |