net.sf.bddbddb.dataflow
Interface Problem.Fact

All Known Subinterfaces:

OperationProblem.OperationFact

All Known Implementing Classes:

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

Enclosing class:

Problem

public static interface Problem.Fact

Method Summary

Problem.Fact	copy(IterationList loc)
IterationList	getLocation()
Problem.Fact	join(Problem.Fact that)
void	setLocation(IterationList loc)

Method Detail

join

Problem.Fact join(Problem.Fact that)

copy

Problem.Fact copy(IterationList loc)

setLocation

void setLocation(IterationList loc)

getLocation

IterationList getLocation()