Class PAlignmentImp

    • Field Summary

      • Fields inherited from class edu.uci.ics.jung.graph.DirectedSparseGraph

        edges, vertices
      • Fields inherited from class edu.uci.ics.jung.graph.AbstractTypedGraph

        edge_type
    • Constructor Summary

      Constructors 
      Constructor Description
      PAlignmentImp​(java.lang.String name, int traceIndex)  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void addDependency​(MoveDependency depedency)  
      void addMove​(Move move)  
      java.util.Collection<MoveDependency> getDependencies()  
      MoveDependency getDependency​(Move predessor, Move successor)  
      java.util.Collection<Move> getDirectChildren​(Move node)  
      java.util.Collection<MoveDependency> getDirectDependencies()  
      java.util.Collection<Move> getDirectParents​(Move node)  
      java.util.Collection<MoveDependency> getLogDependencies()  
      java.util.Collection<Move> getLogMoves()  
      java.util.Collection<MoveDependency> getModelDependencies()  
      java.util.Collection<Move> getModelMoves()  
      java.util.Collection<Move> getMoves()  
      java.util.Collection<Move> getRealModelMoves()  
      java.util.Collection<Move> getSilentModelMoves()  
      java.util.Collection<MoveDependency> getSyncDependencies()  
      java.util.Collection<Move> getSyncMoves()  
      int getTraceIndex()  
      void removeDependency​(MoveDependency edge)  
      void setTraceIndex​(int traceIndex)  
      • Methods inherited from class edu.uci.ics.jung.graph.DirectedSparseGraph

        addEdge, addVertex, containsEdge, containsVertex, findEdge, findEdgeSet, getDest, getEdgeCount, getEdges, getEndpoints, getFactory, getIncidentEdges, getIncoming_internal, getInEdges, getNeighbors, getOutEdges, getOutgoing_internal, getPredecessors, getPreds_internal, getSource, getSuccessors, getSuccs_internal, getVertexCount, getVertices, isDest, isSource, removeEdge, removeVertex
      • Methods inherited from class edu.uci.ics.jung.graph.AbstractTypedGraph

        getDefaultEdgeType, getEdgeCount, getEdges, getEdgeType, hasEqualEdgeType, validateEdgeType
      • Methods inherited from class edu.uci.ics.jung.graph.AbstractGraph

        addEdge, addEdge, addEdge, addEdge, addEdge, degree, getIncidentCount, getIncidentVertices, getNeighborCount, getOpposite, getPredecessorCount, getSuccessorCount, getValidatedEndpoints, inDegree, isIncident, isNeighbor, isPredecessor, isSuccessor, outDegree, toString
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
      • Methods inherited from interface edu.uci.ics.jung.graph.Graph

        addEdge, addEdge, getOpposite, getPredecessorCount, getSuccessorCount, inDegree, isPredecessor, isSuccessor, outDegree
      • Methods inherited from interface edu.uci.ics.jung.graph.Hypergraph

        addEdge, addEdge, degree, getDefaultEdgeType, getEdgeCount, getEdges, getEdgeType, getIncidentCount, getIncidentVertices, getNeighborCount, isIncident, isNeighbor