edu.toronto.cs.yasm.abstractor
Class BranchPredicateRefiner.BranchRefinerInfo

java.lang.Object
  extended by edu.toronto.cs.yasm.abstractor.BranchPredicateRefiner.BranchRefinerInfo
Enclosing class:
BranchPredicateRefiner

public class BranchPredicateRefiner.BranchRefinerInfo
extends java.lang.Object


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

Constructor Detail

BranchPredicateRefiner.BranchRefinerInfo

public BranchPredicateRefiner.BranchRefinerInfo()