Literal Member List

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

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
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