|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use CGNode | |
---|---|
dk.brics.bisim.controller | |
dk.brics.bisim.equiv | |
dk.brics.bisim.model |
Uses of CGNode in dk.brics.bisim.controller |
---|
Fields in dk.brics.bisim.controller with type parameters of type CGNode | |
---|---|
private java.util.HashMap<CGNode,Strategy> |
AIAttacker.nodeMap
|
Uses of CGNode in dk.brics.bisim.equiv |
---|
Fields in dk.brics.bisim.equiv declared as CGNode | |
---|---|
private CGNode |
ConfigurationGraph.accept
The accept node marks a winning configuration for the attacker, i.e. one where the attacker has taken a step that can't be mimicked by the defender. |
Fields in dk.brics.bisim.equiv with type parameters of type CGNode | |
---|---|
private java.util.HashSet<CGNode> |
ConfigurationGraph.nodes
The set of nodes in the graph. |
Methods in dk.brics.bisim.equiv that return CGNode | |
---|---|
private CGNode |
ConfigurationGraph.getNode(int nodeId)
|
CGNode |
ConfigurationGraph.getNode(att.grappa.Node left,
att.grappa.Node right)
Test if there already exists a CGNode with these left and right nodes. |
Methods in dk.brics.bisim.equiv that return types with arguments of type CGNode | |
---|---|
java.util.HashMap<CGNode,Strategy> |
ConfigurationGraph.buildPerfectAttackerStrategy()
Computes a strategy for the attacker. |
java.util.HashSet<CGNode> |
ConfigurationGraph.getSuspiciousNodes()
Used by a defender to get the set of nodes which have edges to the accept node. |
private java.util.ArrayList<CGNode> |
ConfigurationGraph.getTailNodes(CGNode node)
|
Methods in dk.brics.bisim.equiv with parameters of type CGNode | |
---|---|
private boolean |
CGNode.equals(CGNode other)
|
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. |
private java.util.ArrayList<CGNode> |
ConfigurationGraph.getTailNodes(CGNode node)
|
Uses of CGNode in dk.brics.bisim.model |
---|
Fields in dk.brics.bisim.model with type parameters of type CGNode | |
---|---|
private java.util.ArrayList<CGNode> |
GameModel.seenConfigurations
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |