net.sf.bddbddb.dataflow
Class RelationProblem.RelationFact

java.lang.Object
  extended by net.sf.bddbddb.dataflow.RelationProblem.RelationFact
All Implemented Interfaces:
Problem.Fact
Direct Known Subclasses:
ConstantProp.ConstantPropFact
Enclosing class:
RelationProblem

public abstract static class RelationProblem.RelationFact
extends java.lang.Object
implements Problem.Fact


Constructor Summary
RelationProblem.RelationFact()
           
 
Method Summary
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface net.sf.bddbddb.dataflow.Problem.Fact
copy, getLocation, join, setLocation
 

Constructor Detail

RelationProblem.RelationFact

public RelationProblem.RelationFact()


Copyright © 2004-2008 Stanford SUIF Compiler Group. All Rights Reserved.