|
Class Summary |
| DF_AbstractCell |
DF_LatticeCell.java
Represents a single lattice cell in a dataflow system. |
| DF_Equation |
DF_Equation.java
represents a single Data Flow equation |
| DF_Graph |
Implementation of a graph used in the guts of the dataflow equation
solver. |
| DF_Operator |
DF_Operator.java
represents a function for DF_LatticeCell values |
| DF_Solution |
DF_Solution.java
Represents the solution to a system of Data Flow equations. |
| DF_System |
Represents a system of Data Flow equations
Implementation Note:
The set of equations is internally represented as a graph
(actually a SpaceEffGraph). |