OKlibrary  0.2.1.6
Literal Namespace Reference

Classes

class  Lit
struct  Comp

Functions

template<class Var , class Value , template< class Var, class Value > class Lit>
bool operator< (const Lit< Var, Value > &x, const Lit< Var, Value > &y)
template<class Var , class Value , template< class Var, class Value > class Lit>
std::ostream & operator<< (std::ostream &o, const Lit< Var, Value > &x)
template<class Var , class Value , template< class Var, class Value > class Lit>
const Lit< Var, Value > operator! (const Lit< Var, Value > &x)

Function Documentation

template<class Var , class Value , template< class Var, class Value > class Lit>
const Lit<Var, Value> Literal::operator! ( const Lit< Var, Value > &  x) [inline]

Definition at line 42 of file Literal.hpp.

References Literals::Var().

template<class Var , class Value , template< class Var, class Value > class Lit>
bool Literal::operator< ( const Lit< Var, Value > &  x,
const Lit< Var, Value > &  y 
) [inline]

Definition at line 32 of file Literal.hpp.

References Literals::Var().

template<class Var , class Value , template< class Var, class Value > class Lit>
std::ostream& Literal::operator<< ( std::ostream &  o,
const Lit< Var, Value > &  x 
)

Definition at line 37 of file Literal.hpp.

References Literals::Var().