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()


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