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
deterministic_reorder(size_t)	Matrix
end() (defined in Matrix)	Matrix	inline
find_all_extensions(Unifier &, vector< InferenceItem > &, Clause &, VariableIndex &, TermIndex &)	Matrix
find_limited_extensions(Unifier &, vector< InferenceItem > &, Clause &, VariableIndex &, TermIndex &)	Matrix
find_start() const	Matrix
get_num_clauses() const	Matrix	inline
is_conjecture(size_t i) const	Matrix
is_negative(size_t i) const	Matrix	inline
is_positive(size_t i) const	Matrix	inline
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
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
set_num_equals(uint32_t n)	Matrix	inline
set_num_preds(size_t)	Matrix
to_string() const	Matrix
write_to_prolog_file(const path &) const	Matrix