net.sf.bddbddb.dataflow
Class ConstantProp.ConstantPropFacts

java.lang.Object
  net.sf.bddbddb.dataflow.RelationProblem.RelationFacts
      net.sf.bddbddb.dataflow.ConstantProp.ConstantPropFacts

All Implemented Interfaces:

Problem.Fact

Enclosing class:

ConstantProp

public class ConstantProp.ConstantPropFacts
extends RelationProblem.RelationFacts

Field Summary

Fields inherited from class net.sf.bddbddb.dataflow.RelationProblem.RelationFacts

relationFacts

Constructor Summary

ConstantProp.ConstantPropFacts()

Method Summary

Problem.Fact	copy(IterationList loc)
RelationProblem.RelationFacts	create()
boolean	equals(RelationProblem.RelationFacts that)
Problem.Fact	join(Problem.Fact fact)
java.lang.String	toString()

Methods inherited from class net.sf.bddbddb.dataflow.RelationProblem.RelationFacts

equals, getFact, getLocation, hashCode, initialize, setLocation

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

ConstantProp.ConstantPropFacts

public ConstantProp.ConstantPropFacts()

Method Detail

create

public RelationProblem.RelationFacts create()

Overrides:

create in class RelationProblem.RelationFacts

join

public Problem.Fact join(Problem.Fact fact)

Specified by:

join in interface Problem.Fact

Overrides:

join in class RelationProblem.RelationFacts

copy

public Problem.Fact copy(IterationList loc)

Specified by:

copy in interface Problem.Fact

Overrides:

copy in class RelationProblem.RelationFacts

equals

public boolean equals(RelationProblem.RelationFacts that)

Overrides:

equals in class RelationProblem.RelationFacts

Parameters:

that - the other collection of relation facts

Returns:

true if all relation facts are equal

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object