Here is a list of all documented class members with links to the class documentation for each member:

- m -

• make_and() : FOF
• make_clauses_copy() : Matrix
• make_copy_with_new_variables() : ClauseCopyCache
• make_copy_with_new_vars() : Clause, Literal, Term
• make_copy_with_new_vars_helper() : Literal, Term
• make_copy_with_new_vars_replace_helper() : Literal
• make_definitional_predicate() : FOF, PredicateIndex
• make_empty() : Literal
• make_exists() : FOF
• make_forall() : FOF
• make_iff() : FOF
• make_imp() : FOF
• make_internal() : ProofPrinter
• make_LaTeX() : Clause, Function, Lemmata, Literal, Matrix, Predicate, ProofPrinter, SimplePath, Substitution, Term, Variable
• make_LaTeX_state() : ProofPrinter
• make_LaTeX_subtree() : ProofPrinter
• make_literal() : FOF
• make_neg() : FOF
• make_negative() : Literal
• make_or() : FOF
• make_positive() : Literal
• make_Prolog() : ProofPrinter
• make_skolem_function() : FOF, FunctionIndex
• make_unique_bound_variables() : FOF
• Matrix() : Matrix
• matrix : ProofChecker, StackProver, TPTPParser
• miniscope() : FOF
• miniscope_all() : FOF
• miniscope_split() : FOF
• move_equals_to_start() : Matrix