|
|||||||||
| Home >> All >> Compil3r >> [ Dataflow overview ] | PREV NEXT | ||||||||
Uses of Interface
Compil3r.Dataflow.Fact
| Uses of Fact in Compil3r.Dataflow |
| Classes in Compil3r.Dataflow that implement Fact | |
static class |
ReachingDefs.RDSet
|
| Methods in Compil3r.Dataflow that return Fact | |
Fact |
TransferFunction.apply(Fact f)
|
Fact |
Solver.getDataflowValue(java.lang.Object c)
Get the dataflow value associated with the given location. |
Fact |
ReachingDefs.boundary()
|
Fact |
ReachingDefs.interior()
|
Fact |
ReachingDefs.RDTransferFunction.apply(Fact f)
|
Fact |
ReachingDefs.RDSet.merge(Fact that)
|
abstract Fact |
Problem.boundary()
Returns the boundary value for this dataflow problem. |
abstract Fact |
Problem.interior()
Returns the value that the interior points should be initialized to. |
Fact |
Problem.apply(TransferFunction tf,
Fact f)
Applies the transfer function to the given dataflow value, yielding another dataflow value. |
Fact |
Problem.merge(Fact f1,
Fact f2)
Combines two dataflow values, returning a new value that is the confluence of the two. |
Fact |
Fact.merge(Fact that)
|
| Methods in Compil3r.Dataflow with parameters of type Fact | |
Fact |
TransferFunction.apply(Fact f)
|
Fact |
ReachingDefs.RDTransferFunction.apply(Fact f)
|
Fact |
ReachingDefs.RDSet.merge(Fact that)
|
boolean |
ReachingDefs.RDSet.equals(Fact that)
|
Fact |
Problem.apply(TransferFunction tf,
Fact f)
Applies the transfer function to the given dataflow value, yielding another dataflow value. |
boolean |
Problem.compare(Fact f1,
Fact f2)
Compares two dataflow facts, returning true if they are equal and false otherwise. |
Fact |
Problem.merge(Fact f1,
Fact f2)
Combines two dataflow values, returning a new value that is the confluence of the two. |
Fact |
Fact.merge(Fact that)
|
boolean |
Fact.equals(Fact that)
|
|
|||||||||
| Home >> All >> Compil3r >> [ Dataflow overview ] | PREV NEXT | ||||||||