Uses of Interface
net.sf.bddbddb.dataflow.Problem.Fact

Packages that use Problem.Fact

net.sf.bddbddb.dataflow

Uses of Problem.Fact in net.sf.bddbddb.dataflow

Subinterfaces of Problem.Fact in net.sf.bddbddb.dataflow

static interface

OperationProblem.OperationFact

Classes in net.sf.bddbddb.dataflow that implement Problem.Fact

class	BitVectorFact BitVectorFact
class	ConstantProp.ConstantPropFact
class	ConstantProp.ConstantPropFacts
class	CopyProp.CopyPropFact
class	DefUse.DefUseFact
class	Liveness.LivenessFact
class	PartialOrder.PartialOrderFact
class	PartialRedundancy.Anticipated.AnticipatedFact
class	PartialRedundancy.Available.AvailableFact
class	PartialRedundancy.Earliest.EarliestFact
class	PartialRedundancy.Latest.LatestFact
class	PartialRedundancy.Postponed.PostponedFact
class	PartialRedundancy.Used.UsedFact
static class	RelationProblem.RelationFact
static class	RelationProblem.RelationFacts
class	UnionBitVectorFact

Methods in net.sf.bddbddb.dataflow that return Problem.Fact

Problem.Fact	PartialRedundancy.Earliest.EarliestTF.apply(Problem.Fact f)
Problem.Fact	PartialRedundancy.Latest.LatestTF.apply(Problem.Fact f)
Problem.Fact	PartialRedundancy.Used.UsedTF.apply(Problem.Fact f)
Problem.Fact	Liveness.LivenessTF.apply(Problem.Fact f)
Problem.Fact	CopyProp.CopyPropTF.apply(Problem.Fact f)
Problem.Fact	DefUse.DefUseTransferFunction.apply(Problem.Fact f)
Problem.Fact	ConstantProp.ConstantPropTF.apply(Problem.Fact f)
abstract Problem.Fact	Problem.TransferFunction.apply(Problem.Fact f)
Problem.Fact	PartialOrder.PartialOrderTF.apply(Problem.Fact f)
Problem.Fact	CopyProp.CopyPropFact.copy(IterationList loc)
Problem.Fact	UnionBitVectorFact.copy(IterationList list)
Problem.Fact	RelationProblem.RelationFacts.copy(IterationList loc)
Problem.Fact	ConstantProp.ConstantPropFact.copy(IterationList loc)
Problem.Fact	ConstantProp.ConstantPropFacts.copy(IterationList loc)
Problem.Fact	Problem.Fact.copy(IterationList loc)
Problem.Fact	PartialOrder.PartialOrderFact.copy(IterationList loc)
Problem.Fact	PartialRedundancy.Anticipated.getBoundary()
Problem.Fact	PartialRedundancy.Available.getBoundary()
Problem.Fact	PartialRedundancy.Earliest.getBoundary()
Problem.Fact	PartialRedundancy.Postponed.getBoundary()
Problem.Fact	PartialRedundancy.Latest.getBoundary()
Problem.Fact	PartialRedundancy.Used.getBoundary()
Problem.Fact	Liveness.getBoundary()
Problem.Fact	CopyProp.getBoundary()
Problem.Fact	DefUse.getBoundary()
Problem.Fact	RelationProblem.getBoundary()
Problem.Fact	ConstantProp.getBoundary()
abstract Problem.Fact	Problem.getBoundary()
Problem.Fact	PartialOrder.getBoundary()
Problem.Fact	DataflowSolver.DataflowIterator.getFact()
Problem.Fact	DataflowSolver.getFact(IterationList block) Returns the dataflow information for a given block.
Problem.Fact	PartialRedundancy.Anticipated.AnticipatedFact.join(Problem.Fact that)
Problem.Fact	PartialRedundancy.Available.AvailableFact.join(Problem.Fact that)
Problem.Fact	PartialRedundancy.Earliest.EarliestFact.join(Problem.Fact that)
Problem.Fact	PartialRedundancy.Postponed.PostponedFact.join(Problem.Fact that)
Problem.Fact	PartialRedundancy.Latest.LatestFact.join(Problem.Fact that)
Problem.Fact	PartialRedundancy.Used.UsedFact.join(Problem.Fact that)
Problem.Fact	Liveness.LivenessFact.join(Problem.Fact that)
Problem.Fact	CopyProp.CopyPropFact.join(Problem.Fact that)
Problem.Fact	UnionBitVectorFact.join(Problem.Fact that)
Problem.Fact	RelationProblem.RelationFacts.join(Problem.Fact fact)
Problem.Fact	ConstantProp.ConstantPropFact.join(Problem.Fact fact)
Problem.Fact	ConstantProp.ConstantPropFacts.join(Problem.Fact fact)
Problem.Fact	Problem.Fact.join(Problem.Fact that)
Problem.Fact	PartialOrder.PartialOrderFact.join(Problem.Fact that)

Methods in net.sf.bddbddb.dataflow with parameters of type Problem.Fact

Problem.Fact	PartialRedundancy.Earliest.EarliestTF.apply(Problem.Fact f)
Problem.Fact	PartialRedundancy.Latest.LatestTF.apply(Problem.Fact f)
Problem.Fact	PartialRedundancy.Used.UsedTF.apply(Problem.Fact f)
Problem.Fact	Liveness.LivenessTF.apply(Problem.Fact f)
Problem.Fact	CopyProp.CopyPropTF.apply(Problem.Fact f)
Problem.Fact	DefUse.DefUseTransferFunction.apply(Problem.Fact f)
Problem.Fact	ConstantProp.ConstantPropTF.apply(Problem.Fact f)
abstract Problem.Fact	Problem.TransferFunction.apply(Problem.Fact f)
Problem.Fact	PartialOrder.PartialOrderTF.apply(Problem.Fact f)
boolean	Problem.compare(Problem.Fact f1, Problem.Fact f2)
Problem.Fact	PartialRedundancy.Anticipated.AnticipatedFact.join(Problem.Fact that)
Problem.Fact	PartialRedundancy.Available.AvailableFact.join(Problem.Fact that)
Problem.Fact	PartialRedundancy.Earliest.EarliestFact.join(Problem.Fact that)
Problem.Fact	PartialRedundancy.Postponed.PostponedFact.join(Problem.Fact that)
Problem.Fact	PartialRedundancy.Latest.LatestFact.join(Problem.Fact that)
Problem.Fact	PartialRedundancy.Used.UsedFact.join(Problem.Fact that)
Problem.Fact	Liveness.LivenessFact.join(Problem.Fact that)
Problem.Fact	CopyProp.CopyPropFact.join(Problem.Fact that)
Problem.Fact	UnionBitVectorFact.join(Problem.Fact that)
Problem.Fact	RelationProblem.RelationFacts.join(Problem.Fact fact)
Problem.Fact	ConstantProp.ConstantPropFact.join(Problem.Fact fact)
Problem.Fact	ConstantProp.ConstantPropFacts.join(Problem.Fact fact)
Problem.Fact	Problem.Fact.join(Problem.Fact that)
Problem.Fact	PartialOrder.PartialOrderFact.join(Problem.Fact that)
void	DefUse.setIn(Operation op, Problem.Fact fact)
void	Liveness.setOut(Operation op, Problem.Fact fact)

Constructors in net.sf.bddbddb.dataflow with parameters of type Problem.Fact

DataflowSolver.DataflowIterator(Problem p, Problem.Fact startingFact, IterationList block)