Searched refs:compute_marks (Results 1 – 6 of 6) sorted by relevance
22 compute_marks(); in iuc_proof()30 compute_marks(); in iuc_proof()97 void iuc_proof::compute_marks() in compute_marks() function in spacer::iuc_proof
60 void compute_marks();
120 void compute_marks(proof* pr) { in compute_marks() function in reduce_hypotheses313 compute_marks(pr); in operator ()()