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

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)