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().