literalt Member List

This is the complete list of members for literalt, including all inherited members.

clear()	literalt	inline
cond_invert(bool a)	literalt	inline
cond_negation(bool cond) const	literalt	inline
const_literal(bool value)	literalt	friend
const_var_no()	literalt	inlinestatic
get() const	literalt	inline
invert()	literalt	inline
is_constant() const	literalt	inline
is_false() const	literalt	inline
is_true() const	literalt	inline
l	literalt	protected
literalt()=default	literalt
literalt(unsigned v, bool sign)	literalt	inline
make_false()	literalt	inline
make_true()	literalt	inline
neg(literalt a)	literalt	friend
negation() const	literalt	inline
operator!=(const literalt a, const literalt b)	literalt	friend
operator<(const literalt a, const literalt b)	literalt	friend
operator==(const literalt a, const literalt b)	literalt	friend
pos(literalt a)	literalt	friend
set(unsigned _l)	literalt	inline
set(unsigned v, bool sign)	literalt	inline
sign() const	literalt	inline
swap(literalt &x)	literalt	inline
var_no() const	literalt	inline