edu.toronto.cs.yasm.abstractor
Class CBJPredicateRefiner.CBJRefinerInfo

java.lang.Object
  extended by edu.toronto.cs.yasm.abstractor.CBJPredicateRefiner.CBJRefinerInfo
Enclosing class:
CBJPredicateRefiner

public class CBJPredicateRefiner.CBJRefinerInfo
extends java.lang.Object


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

Constructor Detail

CBJPredicateRefiner.CBJRefinerInfo

public CBJPredicateRefiner.CBJRefinerInfo()