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

- g -

• get_all_names_added() : VariableIndex
• get_args() : Literal
• get_arity() : Function, Literal, Predicate
• get_defined_items() : TPTPParser
• get_equals_predicate() : TPTPParser
• get_f() : Term
• get_first_anon_variable() : VariableIndex
• get_highest_anon_variable() : VariableIndex
• get_ID() : Predicate
• get_id() : Variable
• get_indexes() : StackProver
• get_internal_proof() : StackProver
• get_matrix() : StackProver
• get_name() : Function, Predicate, Variable
• get_next_index() : VariableIndex
• get_num_backtracks() : VariableIndex
• get_num_clauses() : Matrix
• get_num_preds() : PredicateIndex
• get_polarity() : Literal
• get_pred() : Literal
• get_pred_as_index() : Literal
• get_problem_status() : TPTPParser
• get_size() : FunctionIndex, TermIndex
• get_small_lit() : Literal
• get_status() : StackProver
• get_subbed_arity() : Term, Variable
• get_subbed_f() : Term, Variable
• get_subbed_term() : Variable
• get_substitution() : Unifier
• get_system_items() : TPTPParser
• get_tptp_conversion_string() : TPTPParser
• get_v() : Term
• go() : StackProver