Searched refs:formulifyRefutation (Results 1 – 3 of 3) sorted by relevance
46 static Unit* formulifyRefutation(Unit* refutation);
276 Unit* Interpolants::formulifyRefutation(Unit* refutation) in formulifyRefutation() function in Shell::Interpolants
396 Unit* formulifiedRefutation = Interpolants::formulifyRefutation(env.statistics->refutation); in outputResult()