net.sf.bddbddb.dataflow
Class ConstantProp.ConstantPropFact

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

public class ConstantProp.ConstantPropFact
extends RelationProblem.RelationFact


Constructor Summary
ConstantProp.ConstantPropFact()
           
ConstantProp.ConstantPropFact(ConstantProp.ConstantPropFact that)
           
ConstantProp.ConstantPropFact(Relation r, java.lang.Object o)
           
 
Method Summary
 Problem.Fact copy(IterationList loc)
           
 boolean equals(ConstantProp.ConstantPropFact that)
           
 boolean equals(java.lang.Object o)
           
 IterationList getLocation()
           
 ConstantProp.ConstantPropFact getRepresentative()
           
 int hashCode()
           
 Problem.Fact join(Problem.Fact fact)
           
 void setLocation(IterationList loc)
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

ConstantProp.ConstantPropFact

public ConstantProp.ConstantPropFact()

ConstantProp.ConstantPropFact

public ConstantProp.ConstantPropFact(Relation r,
                                     java.lang.Object o)

ConstantProp.ConstantPropFact

public ConstantProp.ConstantPropFact(ConstantProp.ConstantPropFact that)
Method Detail

join

public Problem.Fact join(Problem.Fact fact)

getRepresentative

public ConstantProp.ConstantPropFact getRepresentative()

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object

equals

public boolean equals(java.lang.Object o)
Overrides:
equals in class java.lang.Object

equals

public boolean equals(ConstantProp.ConstantPropFact that)

hashCode

public int hashCode()
Overrides:
hashCode in class java.lang.Object

copy

public Problem.Fact copy(IterationList loc)

setLocation

public void setLocation(IterationList loc)

getLocation

public IterationList getLocation()


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