edu.toronto.cs.yasm.refiner
Classes
CBJPredicateAbstractor
CFFCPredicateAbstractor
CvclCBJPredicateAbstractor
CvclCFFCPredicateAbstractor