edu.toronto.cs.yasm.abstractor
Interface Refiner

All Known Implementing Classes:
BranchPredicateRefiner, CBJPredicateRefiner, CFFCPredicateRefiner, LadderPredicateRefiner, PredicateRefiner

public interface Refiner


Method Summary
 PProgram doProgramRefine(PProgram p)
           
 

Method Detail

doProgramRefine

PProgram doProgramRefine(PProgram p)