|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use CGEdge | |
---|---|
dk.brics.bisimulationGame.equiv |
Uses of CGEdge in dk.brics.bisimulationGame.equiv |
---|
Fields in dk.brics.bisimulationGame.equiv with type parameters of type CGEdge | |
---|---|
private java.util.HashSet<CGEdge> |
ConfigurationGraph.edges
The set of edges in the graph. |
Methods in dk.brics.bisimulationGame.equiv that return types with arguments of type CGEdge | |
---|---|
private java.util.HashSet<CGEdge> |
ConfigurationGraph.getOutEdges(CGNode node)
Returns all out-edges of a node. |
private java.util.HashSet<CGEdge> |
ConfigurationGraph.getProperInEdges(CGNode node)
Used for computing an attacker strategy. |
Methods in dk.brics.bisimulationGame.equiv with parameters of type CGEdge | |
---|---|
private boolean |
CGEdge.equals(CGEdge other)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |