edu.toronto.cs.yasm.abstractor
Class LadderPredicateRefiner.LadderRefinerInfo

java.lang.Object
  extended by edu.toronto.cs.yasm.abstractor.LadderPredicateRefiner.LadderRefinerInfo
Enclosing class:
LadderPredicateRefiner

public class LadderPredicateRefiner.LadderRefinerInfo
extends java.lang.Object


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

Constructor Detail

LadderPredicateRefiner.LadderRefinerInfo

public LadderPredicateRefiner.LadderRefinerInfo()