Matrix Member List

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

add_clause(Clause &, string="")	Matrix
begin() (defined in Matrix)	Matrix	inline
cbegin() const (defined in Matrix)	Matrix	inline
cend() const (defined in Matrix)	Matrix	inline
clause_roles	Matrix	private
clauses	Matrix	private
clauses_copy	Matrix	private
copy_saved	Matrix	private
d	Matrix	privatestatic
deterministic_reorder(size_t)	Matrix
end() (defined in Matrix)	Matrix	inline
find_all_extensions(Unifier &, vector< InferenceItem > &, Clause &, VariableIndex &, TermIndex &)	Matrix
find_extensions(Unifier &, vector< InferenceItem > &, const Literal &, LitNum, VariableIndex &, TermIndex &)	Matrix	private
find_limited_extensions(Unifier &, vector< InferenceItem > &, Clause &, VariableIndex &, TermIndex &)	Matrix
find_start() const	Matrix
get_num_clauses() const	Matrix	inline
index	Matrix	private
is_conjecture(size_t i) const	Matrix
is_negative(size_t i) const	Matrix	inline
is_positive(size_t i) const	Matrix	inline
make_clauses_copy()	Matrix	inlineprivate
make_LaTeX(bool=false) const	Matrix
Matrix()	Matrix	inline
Matrix(size_t)	Matrix
Matrix(const Matrix &)=delete	Matrix
Matrix(const Matrix &&)=delete (defined in Matrix)	Matrix
move_equals_to_start()	Matrix
negative_clauses	Matrix	private
num_equals	Matrix	private
operator<< (defined in Matrix)	Matrix	friend
operator=(const Matrix &)=delete (defined in Matrix)	Matrix
operator=(const Matrix &&)=delete (defined in Matrix)	Matrix
operator[](size_t i) const	Matrix	inline
positive_clauses	Matrix	private
random_reorder()	Matrix
random_reorder_literals()	Matrix
roles_copy	Matrix	private
set_num_equals(uint32_t n)	Matrix	inline
set_num_preds(size_t)	Matrix
show_tptp() const	Matrix
sort_clauses(Comparison comparison)	Matrix	inlineprivate
sort_clauses_by_increasing_size()	Matrix	inline
to_string() const	Matrix
write_to_prolog_file(const path &) const	Matrix