Uses of Class
dk.brics.bisim.equiv.CGNode

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