net.sf.bddbddb.dataflow
Class DefUse.DefUseFact

java.lang.Object
  net.sf.bddbddb.dataflow.BitVectorFact
      net.sf.bddbddb.dataflow.UnionBitVectorFact
          net.sf.bddbddb.dataflow.DefUse.DefUseFact

All Implemented Interfaces:

OperationProblem.OperationFact, Problem.Fact

Enclosing class:

DefUse

public class DefUse.DefUseFact
extends UnionBitVectorFact
implements OperationProblem.OperationFact

Field Summary

Fields inherited from class net.sf.bddbddb.dataflow.BitVectorFact

fact

Constructor Summary

DefUse.DefUseFact(jwutil.math.BitString s)

DefUse.DefUseFact(int setSize)

Method Summary

UnionBitVectorFact	create(jwutil.math.BitString s)
Operation	getOperation()
DefUse.OperationSet	getReachingDefs(java.util.Collection rs) Get the reaching defs for this collection of relations.
DefUse.OperationSet	getReachingDefs(Relation r) Get the reaching defs for this relation.
java.lang.String	toString()

Methods inherited from class net.sf.bddbddb.dataflow.UnionBitVectorFact

copy, join

Methods inherited from class net.sf.bddbddb.dataflow.BitVectorFact

equals, getLocation, hashCode, setLocation

Methods inherited from class java.lang.Object

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

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

copy, getLocation, join, setLocation

Constructor Detail

DefUse.DefUseFact

public DefUse.DefUseFact(int setSize)

Parameters:

setSize -

DefUse.DefUseFact

public DefUse.DefUseFact(jwutil.math.BitString s)

Parameters:

s -

Method Detail

create

public UnionBitVectorFact create(jwutil.math.BitString s)

Overrides:

create in class UnionBitVectorFact

toString

public java.lang.String toString()

Overrides:

toString in class BitVectorFact

getReachingDefs

public DefUse.OperationSet getReachingDefs(Relation r)

Get the reaching defs for this relation.

Parameters:

r - relation

Returns:

reaching defs for this relation

getReachingDefs

public DefUse.OperationSet getReachingDefs(java.util.Collection rs)

Get the reaching defs for this collection of relations.

Parameters:

rs - collection of relations

Returns:

reaching defs for these relations

getOperation

public Operation getOperation()

Specified by:

getOperation in interface OperationProblem.OperationFact