106   void advance ()  in advance()  function
254   void advance ()  in advance()  function
310 debug (clause& c)  in debug()
597 replace_term (clause& c, tree t)  in replace_term()
622 decompose_conjuntion (formula& f, clause& c, tree t, rules r)  in decompose_conjuntion()
633 decompose_disjunction (formula& f, clause& c, tree t, rules r)  in decompose_disjunction()
643 decompose_atom (clause& c)  in decompose_atom()
652 decompose_term (formula& f, clause& c, tree t, rules r)  in decompose_term()
669 decompose_clause (formula& f, clause& c, rules r)  in decompose_clause()
714 derive_proof_for_both_operands (clause& c, tree t, rules r)  in derive_proof_for_both_operands()
724 derive_proof_for_either_operand (clause& c, tree t, rules r)  in derive_proof_for_either_operand()
734 derive_atomic_proof (clause& c, tree t)  in derive_atomic_proof()
742 derive_proof (clause& c, tree t, rules r)  in derive_proof()