|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Cubic.Node | |
---|---|
tip.cfg | Provides the basic framework for performing fixed-point analyses of TIP programs. |
Uses of Cubic.Node in tip.cfg |
---|
Fields in tip.cfg with type parameters of type Cubic.Node | |
---|---|
java.util.List<Cubic.Node> |
Cubic.Node.adjacencyList
|
private java.util.List<Cubic.Node> |
Cubic.nodes
|
private java.util.Map<Variable,Cubic.Node> |
Cubic.variables
|
Methods in tip.cfg with parameters of type Cubic.Node | |
---|---|
private void |
Cubic.detectCycle(Cubic.Node n,
Cubic.Node origin,
java.util.Stack<Cubic.Node> stack,
java.util.Set<Cubic.Node> cycleSet)
|
private void |
Cubic.detectCycle(Cubic.Node n,
Cubic.Node origin,
java.util.Stack<Cubic.Node> stack,
java.util.Set<Cubic.Node> cycleSet)
|
private void |
Cubic.setTokenTransitively(Cubic.Node n,
int index)
|
Method parameters in tip.cfg with type arguments of type Cubic.Node | |
---|---|
private void |
Cubic.detectCycle(Cubic.Node n,
Cubic.Node origin,
java.util.Stack<Cubic.Node> stack,
java.util.Set<Cubic.Node> cycleSet)
|
private void |
Cubic.detectCycle(Cubic.Node n,
Cubic.Node origin,
java.util.Stack<Cubic.Node> stack,
java.util.Set<Cubic.Node> cycleSet)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |