edu.toronto.cs.yasm.abstractor
Class CFFCPredicateRefiner.CFFCRefinerInfo

java.lang.Object
  extended by edu.toronto.cs.yasm.abstractor.CFFCPredicateRefiner.CFFCRefinerInfo
Enclosing class:
CFFCPredicateRefiner

public class CFFCPredicateRefiner.CFFCRefinerInfo
extends java.lang.Object


Constructor Summary
CFFCPredicateRefiner.CFFCRefinerInfo()
           
 
Method Summary
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

CFFCPredicateRefiner.CFFCRefinerInfo

public CFFCPredicateRefiner.CFFCRefinerInfo()