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

Packages that use CGNode
dk.brics.bisimulationGame.controller   
dk.brics.bisimulationGame.equiv   
 

Uses of CGNode in dk.brics.bisimulationGame.controller
 

Fields in dk.brics.bisimulationGame.controller with type parameters of type CGNode
private  java.util.HashMap<CGNode,Strategy> AIAttacker.nodeMap
           
private  java.util.HashSet<CGNode> AIDefender.suspicious
          A set of suspicious nodes.
 

Uses of CGNode in dk.brics.bisimulationGame.equiv
 

Fields in dk.brics.bisimulationGame.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.bisimulationGame.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.bisimulationGame.equiv that return CGNode
private  CGNode ConfigurationGraph.getNode(int nodeId)
           
private  CGNode ConfigurationGraph.getNode(att.grappa.Node left, att.grappa.Node right)
          Test if there already exists a PGNode with these left and right nodes.
 

Methods in dk.brics.bisimulationGame.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.
 

Methods in dk.brics.bisimulationGame.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.