Searched refs:proof_state (Results 1 – 1 of 1) sorted by relevance
235 proof_state ();245 proof_state::proof_state () in proof_state() function in __anon73f5bc530111::proof_state253 inline proof_state::iterator254 proof_state::branch (iterator i) in branch()264 inline proof_state::iterator531 check_proof (proof_state& p) in check_proof()611 load_assumptions(proof_state& p) in load_assumptions()622 explode_disjunction (proof_state& p, proof_state::iterator gi, term_list::iterator ti1) in explode_disjunction()645 explode_goal (proof_state& p, proof_state::iterator gi) in explode_goal()709 load_conclusions (proof_state& p) in load_conclusions()[all …]