Literal Member List

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

args (defined in Literal)	Literal	private
arity (defined in Literal)	Literal	private
clear()	Literal	inline
contains_variable(Variable *) const	Literal
get_args() const	Literal	inline
get_arity() const	Literal	inline
get_polarity() const	Literal	inline
get_pred() const	Literal	inline
get_pred_as_index() const	Literal	inline
get_small_lit() const	Literal
invert()	Literal	inline
is_compatible_with(const Literal *) const	Literal
is_complement_of(const Literal &) const	Literal
is_empty() const	Literal	inline
is_false() const	Literal
is_negative() const	Literal	inline
is_positive() const	Literal	inline
is_true() const	Literal
Literal() (defined in Literal)	Literal	inline
Literal(Predicate *, const vector< Term * > &, Arity, bool)	Literal
make_copy_with_new_vars(VariableIndex &, TermIndex &) const	Literal
make_copy_with_new_vars_helper(VariableIndex &, TermIndex &, unordered_map< Variable *, Term * > &) const	Literal
make_empty()	Literal	inline
make_LaTeX(bool=false) const	Literal
make_negative()	Literal	inline
make_positive()	Literal	inline
operator<< (defined in Literal)	Literal	friend
operator==(const Literal &) const	Literal
polarity (defined in Literal)	Literal	private
pred (defined in Literal)	Literal	private
replace_variable(Variable *, Variable *, TermIndex *)	Literal
replace_variable_with_term(Term *, Variable *, TermIndex *)	Literal
subbed_equal(Literal *) const	Literal
to_prolog_string() const	Literal
to_string(bool=false) const	Literal
to_tptp_string() const	Literal