|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use DepGraph | |
---|---|
de.cau.cs.kieler.krep.compiler.ceq | Implementation of clocked equations. |
de.cau.cs.kieler.krep.compiler.dependencies | Implementation of the dependency graph for Lustre and Scade. |
Uses of DepGraph in de.cau.cs.kieler.krep.compiler.ceq |
---|
Methods in de.cau.cs.kieler.krep.compiler.ceq that return DepGraph | |
---|---|
DepGraph |
Automaton.getDepGraph()
Get the dependency graph from the initial state. |
protected DepGraph |
Program.getDepGraph()
|
DepGraph |
State.getDepGraph()
|
Methods in de.cau.cs.kieler.krep.compiler.ceq with parameters of type DepGraph | |
---|---|
protected void |
Program.setDepGraph(DepGraph dG)
|
Uses of DepGraph in de.cau.cs.kieler.krep.compiler.dependencies |
---|
Methods in de.cau.cs.kieler.krep.compiler.dependencies with parameters of type DepGraph | |
---|---|
void |
DepGraph.addSubGraph(String name,
DepGraph d)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |