net.sf.bddbddb.dataflow
Interface OperationProblem.OperationFact

All Superinterfaces:

Problem.Fact

All Known Implementing Classes:

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

Enclosing class:

OperationProblem

public static interface OperationProblem.OperationFact
extends Problem.Fact

Method Summary

Operation

getOperation()

Methods inherited from interface net.sf.bddbddb.dataflow.Problem.Fact

copy, getLocation, join, setLocation

Method Detail

getOperation

Operation getOperation()