Hierarchy For Package net.automatalib.graph

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • net.automatalib.graph.base.AbstractCompactGraph<E,NP,EP> (implements net.automatalib.graph.MutableGraph<N,E,NP,EP>, net.automatalib.graph.MutableGraph.IntAbstraction<E,NP,EP>, net.automatalib.graph.concept.NodeIDs<N>)
    • net.automatalib.graph.base.AbstractCompactBidiGraph<NP,EP> (implements net.automatalib.graph.BidirectionalGraph.IntAbstraction<E>, net.automatalib.graph.MutableUniversalBidirectionalGraph<N,E,NP,EP>)
      • net.automatalib.graph.CompactBidiGraph<NP,EP>
      • net.automatalib.graph.CompactSimpleBidiGraph<EP>
    • net.automatalib.graph.CompactGraph<NP,EP>
    • net.automatalib.graph.CompactPMPG<L,AP> (implements net.automatalib.graph.MutableProceduralModalProcessGraph<N,L,E,AP,TP>)
    • net.automatalib.graph.CompactSimpleGraph<EP>
  • net.automatalib.graph.CFMPSGraphView<N,L,E,AP> (implements net.automatalib.graph.Graph<N,E>)
  • net.automatalib.graph.base.CompactEdge<EP>
    • net.automatalib.graph.CompactPMPGEdge<L,EP>
  • net.automatalib.graph.DefaultCFMPS<L,AP> (implements net.automatalib.graph.ContextFreeModalProcessSystem<L,AP>)
  • net.automatalib.graph.SimpleMapGraph<N> (implements net.automatalib.graph.MutableGraph<N,E,NP,EP>, net.automatalib.graph.ShrinkableGraph<N,E>)

Interface Hierarchy

• net.automatalib.graph.concept.EdgeLabels<E,L>
  • net.automatalib.graph.FiniteLabeledGraph<N,E,L> (also extends net.automatalib.graph.Graph<N,E>)
    • net.automatalib.graph.ProceduralModalProcessGraph<N,L,E,AP,TP> (also extends net.automatalib.graph.concept.FinalNode<N>, net.automatalib.graph.FiniteKripkeStructure<N,E,AP>, net.automatalib.graph.concept.InitialNode<N>, net.automatalib.graph.UniversalGraph<N,E,NP,EP>)
      • net.automatalib.graph.MutableProceduralModalProcessGraph<N,L,E,AP,TP> (also extends net.automatalib.graph.concept.MutableEdgeLabels<E,L>, net.automatalib.graph.MutableGraph<N,E,NP,EP>, net.automatalib.graph.concept.MutableKripkeInterpretation<N,AP>)
  • net.automatalib.graph.concept.MutableEdgeLabels<E,L>
    • net.automatalib.graph.MutableProceduralModalProcessGraph<N,L,E,AP,TP> (also extends net.automatalib.graph.MutableGraph<N,E,NP,EP>, net.automatalib.graph.concept.MutableKripkeInterpretation<N,AP>, net.automatalib.graph.ProceduralModalProcessGraph<N,L,E,AP,TP>)
• net.automatalib.graph.concept.FinalNode<N>
  • net.automatalib.graph.ProceduralModalProcessGraph<N,L,E,AP,TP> (also extends net.automatalib.graph.FiniteKripkeStructure<N,E,AP>, net.automatalib.graph.FiniteLabeledGraph<N,E,L>, net.automatalib.graph.concept.InitialNode<N>, net.automatalib.graph.UniversalGraph<N,E,NP,EP>)
    • net.automatalib.graph.MutableProceduralModalProcessGraph<N,L,E,AP,TP> (also extends net.automatalib.graph.concept.MutableEdgeLabels<E,L>, net.automatalib.graph.MutableGraph<N,E,NP,EP>, net.automatalib.graph.concept.MutableKripkeInterpretation<N,AP>)
• net.automatalib.automaton.concept.FiniteRepresentation
  • net.automatalib.graph.ContextFreeModalProcessSystem<L,AP> (also extends net.automatalib.graph.concept.GraphViewable)
  • net.automatalib.graph.SimpleGraph<N> (also extends net.automatalib.graph.IndefiniteSimpleGraph<N>)
    • net.automatalib.graph.Graph<N,E> (also extends net.automatalib.graph.IndefiniteGraph<N,E>)
      • net.automatalib.graph.AcceptanceGraph<N,E> (also extends net.automatalib.graph.concept.NodeAcceptance<N>)
      • net.automatalib.graph.BidirectionalGraph<N,E>
        • net.automatalib.graph.UniversalBidirectionalGraph<N,E,NP,EP> (also extends net.automatalib.graph.UniversalGraph<N,E,NP,EP>)
          • net.automatalib.graph.MutableUniversalBidirectionalGraph<N,E,NP,EP> (also extends net.automatalib.graph.MutableGraph<N,E,NP,EP>)
      • net.automatalib.graph.FiniteKripkeStructure<N,E,AP> (also extends net.automatalib.graph.concept.KripkeInterpretation<N,AP>)
        • net.automatalib.graph.ProceduralModalProcessGraph<N,L,E,AP,TP> (also extends net.automatalib.graph.concept.FinalNode<N>, net.automatalib.graph.FiniteLabeledGraph<N,E,L>, net.automatalib.graph.concept.InitialNode<N>, net.automatalib.graph.UniversalGraph<N,E,NP,EP>)
          • net.automatalib.graph.MutableProceduralModalProcessGraph<N,L,E,AP,TP> (also extends net.automatalib.graph.concept.MutableEdgeLabels<E,L>, net.automatalib.graph.MutableGraph<N,E,NP,EP>, net.automatalib.graph.concept.MutableKripkeInterpretation<N,AP>)
      • net.automatalib.graph.FiniteLabeledGraph<N,E,L> (also extends net.automatalib.graph.concept.EdgeLabels<E,L>)
        • net.automatalib.graph.ProceduralModalProcessGraph<N,L,E,AP,TP> (also extends net.automatalib.graph.concept.FinalNode<N>, net.automatalib.graph.FiniteKripkeStructure<N,E,AP>, net.automatalib.graph.concept.InitialNode<N>, net.automatalib.graph.UniversalGraph<N,E,NP,EP>)
          • net.automatalib.graph.MutableProceduralModalProcessGraph<N,L,E,AP,TP> (also extends net.automatalib.graph.concept.MutableEdgeLabels<E,L>, net.automatalib.graph.MutableGraph<N,E,NP,EP>, net.automatalib.graph.concept.MutableKripkeInterpretation<N,AP>)
      • net.automatalib.graph.ShrinkableGraph<N,E>
      • net.automatalib.graph.UndirectedGraph<N,E>
      • net.automatalib.graph.UniversalGraph<N,E,NP,EP> (also extends net.automatalib.graph.UniversalIndefiniteGraph<N,E,NP,EP>)
        • net.automatalib.graph.MutableGraph<N,E,NP,EP>
          • net.automatalib.graph.MutableProceduralModalProcessGraph<N,L,E,AP,TP> (also extends net.automatalib.graph.concept.MutableEdgeLabels<E,L>, net.automatalib.graph.concept.MutableKripkeInterpretation<N,AP>, net.automatalib.graph.ProceduralModalProcessGraph<N,L,E,AP,TP>)
          • net.automatalib.graph.MutableUniversalBidirectionalGraph<N,E,NP,EP> (also extends net.automatalib.graph.UniversalBidirectionalGraph<N,E,NP,EP>)
        • net.automatalib.graph.ProceduralModalProcessGraph<N,L,E,AP,TP> (also extends net.automatalib.graph.concept.FinalNode<N>, net.automatalib.graph.FiniteKripkeStructure<N,E,AP>, net.automatalib.graph.FiniteLabeledGraph<N,E,L>, net.automatalib.graph.concept.InitialNode<N>)
          • net.automatalib.graph.MutableProceduralModalProcessGraph<N,L,E,AP,TP> (also extends net.automatalib.graph.concept.MutableEdgeLabels<E,L>, net.automatalib.graph.MutableGraph<N,E,NP,EP>, net.automatalib.graph.concept.MutableKripkeInterpretation<N,AP>)
        • net.automatalib.graph.UniversalBidirectionalGraph<N,E,NP,EP> (also extends net.automatalib.graph.BidirectionalGraph<N,E>)
          • net.automatalib.graph.MutableUniversalBidirectionalGraph<N,E,NP,EP> (also extends net.automatalib.graph.MutableGraph<N,E,NP,EP>)
  • net.automatalib.graph.SimpleGraph.IntAbstraction
    • net.automatalib.graph.Graph.IntAbstraction<E>
      • net.automatalib.graph.BidirectionalGraph.IntAbstraction<E>
      • net.automatalib.graph.UniversalGraph.IntAbstraction<E,NP,EP>
        • net.automatalib.graph.MutableGraph.IntAbstraction<E,NP,EP>
• net.automatalib.graph.concept.GraphViewable
  • net.automatalib.graph.ContextFreeModalProcessSystem<L,AP> (also extends net.automatalib.automaton.concept.FiniteRepresentation)
• net.automatalib.graph.concept.InitialNode<N>
  • net.automatalib.graph.ProceduralModalProcessGraph<N,L,E,AP,TP> (also extends net.automatalib.graph.concept.FinalNode<N>, net.automatalib.graph.FiniteKripkeStructure<N,E,AP>, net.automatalib.graph.FiniteLabeledGraph<N,E,L>, net.automatalib.graph.UniversalGraph<N,E,NP,EP>)
    • net.automatalib.graph.MutableProceduralModalProcessGraph<N,L,E,AP,TP> (also extends net.automatalib.graph.concept.MutableEdgeLabels<E,L>, net.automatalib.graph.MutableGraph<N,E,NP,EP>, net.automatalib.graph.concept.MutableKripkeInterpretation<N,AP>)
• java.lang.Iterable<T>
  • net.automatalib.graph.IndefiniteSimpleGraph<N>
    • net.automatalib.graph.IndefiniteGraph<N,E>
      • net.automatalib.graph.Graph<N,E> (also extends net.automatalib.graph.SimpleGraph<N>)
        • net.automatalib.graph.AcceptanceGraph<N,E> (also extends net.automatalib.graph.concept.NodeAcceptance<N>)
        • net.automatalib.graph.BidirectionalGraph<N,E>
          • net.automatalib.graph.UniversalBidirectionalGraph<N,E,NP,EP> (also extends net.automatalib.graph.UniversalGraph<N,E,NP,EP>)
            • net.automatalib.graph.MutableUniversalBidirectionalGraph<N,E,NP,EP> (also extends net.automatalib.graph.MutableGraph<N,E,NP,EP>)
        • net.automatalib.graph.FiniteKripkeStructure<N,E,AP> (also extends net.automatalib.graph.concept.KripkeInterpretation<N,AP>)
          • net.automatalib.graph.ProceduralModalProcessGraph<N,L,E,AP,TP> (also extends net.automatalib.graph.concept.FinalNode<N>, net.automatalib.graph.FiniteLabeledGraph<N,E,L>, net.automatalib.graph.concept.InitialNode<N>, net.automatalib.graph.UniversalGraph<N,E,NP,EP>)
            • net.automatalib.graph.MutableProceduralModalProcessGraph<N,L,E,AP,TP> (also extends net.automatalib.graph.concept.MutableEdgeLabels<E,L>, net.automatalib.graph.MutableGraph<N,E,NP,EP>, net.automatalib.graph.concept.MutableKripkeInterpretation<N,AP>)
        • net.automatalib.graph.FiniteLabeledGraph<N,E,L> (also extends net.automatalib.graph.concept.EdgeLabels<E,L>)
          • net.automatalib.graph.ProceduralModalProcessGraph<N,L,E,AP,TP> (also extends net.automatalib.graph.concept.FinalNode<N>, net.automatalib.graph.FiniteKripkeStructure<N,E,AP>, net.automatalib.graph.concept.InitialNode<N>, net.automatalib.graph.UniversalGraph<N,E,NP,EP>)
            • net.automatalib.graph.MutableProceduralModalProcessGraph<N,L,E,AP,TP> (also extends net.automatalib.graph.concept.MutableEdgeLabels<E,L>, net.automatalib.graph.MutableGraph<N,E,NP,EP>, net.automatalib.graph.concept.MutableKripkeInterpretation<N,AP>)
        • net.automatalib.graph.ShrinkableGraph<N,E>
        • net.automatalib.graph.UndirectedGraph<N,E>
        • net.automatalib.graph.UniversalGraph<N,E,NP,EP> (also extends net.automatalib.graph.UniversalIndefiniteGraph<N,E,NP,EP>)
          • net.automatalib.graph.MutableGraph<N,E,NP,EP>
            • net.automatalib.graph.MutableProceduralModalProcessGraph<N,L,E,AP,TP> (also extends net.automatalib.graph.concept.MutableEdgeLabels<E,L>, net.automatalib.graph.concept.MutableKripkeInterpretation<N,AP>, net.automatalib.graph.ProceduralModalProcessGraph<N,L,E,AP,TP>)
            • net.automatalib.graph.MutableUniversalBidirectionalGraph<N,E,NP,EP> (also extends net.automatalib.graph.UniversalBidirectionalGraph<N,E,NP,EP>)
          • net.automatalib.graph.ProceduralModalProcessGraph<N,L,E,AP,TP> (also extends net.automatalib.graph.concept.FinalNode<N>, net.automatalib.graph.FiniteKripkeStructure<N,E,AP>, net.automatalib.graph.FiniteLabeledGraph<N,E,L>, net.automatalib.graph.concept.InitialNode<N>)
            • net.automatalib.graph.MutableProceduralModalProcessGraph<N,L,E,AP,TP> (also extends net.automatalib.graph.concept.MutableEdgeLabels<E,L>, net.automatalib.graph.MutableGraph<N,E,NP,EP>, net.automatalib.graph.concept.MutableKripkeInterpretation<N,AP>)
          • net.automatalib.graph.UniversalBidirectionalGraph<N,E,NP,EP> (also extends net.automatalib.graph.BidirectionalGraph<N,E>)
            • net.automatalib.graph.MutableUniversalBidirectionalGraph<N,E,NP,EP> (also extends net.automatalib.graph.MutableGraph<N,E,NP,EP>)
      • net.automatalib.graph.UniversalIndefiniteGraph<N,E,NP,EP>
        • net.automatalib.graph.UniversalGraph<N,E,NP,EP> (also extends net.automatalib.graph.Graph<N,E>)
          • net.automatalib.graph.MutableGraph<N,E,NP,EP>
            • net.automatalib.graph.MutableProceduralModalProcessGraph<N,L,E,AP,TP> (also extends net.automatalib.graph.concept.MutableEdgeLabels<E,L>, net.automatalib.graph.concept.MutableKripkeInterpretation<N,AP>, net.automatalib.graph.ProceduralModalProcessGraph<N,L,E,AP,TP>)
            • net.automatalib.graph.MutableUniversalBidirectionalGraph<N,E,NP,EP> (also extends net.automatalib.graph.UniversalBidirectionalGraph<N,E,NP,EP>)
          • net.automatalib.graph.ProceduralModalProcessGraph<N,L,E,AP,TP> (also extends net.automatalib.graph.concept.FinalNode<N>, net.automatalib.graph.FiniteKripkeStructure<N,E,AP>, net.automatalib.graph.FiniteLabeledGraph<N,E,L>, net.automatalib.graph.concept.InitialNode<N>)
            • net.automatalib.graph.MutableProceduralModalProcessGraph<N,L,E,AP,TP> (also extends net.automatalib.graph.concept.MutableEdgeLabels<E,L>, net.automatalib.graph.MutableGraph<N,E,NP,EP>, net.automatalib.graph.concept.MutableKripkeInterpretation<N,AP>)
          • net.automatalib.graph.UniversalBidirectionalGraph<N,E,NP,EP> (also extends net.automatalib.graph.BidirectionalGraph<N,E>)
            • net.automatalib.graph.MutableUniversalBidirectionalGraph<N,E,NP,EP> (also extends net.automatalib.graph.MutableGraph<N,E,NP,EP>)
    • net.automatalib.graph.SimpleGraph<N> (also extends net.automatalib.automaton.concept.FiniteRepresentation)
      • net.automatalib.graph.Graph<N,E> (also extends net.automatalib.graph.IndefiniteGraph<N,E>)
        • net.automatalib.graph.AcceptanceGraph<N,E> (also extends net.automatalib.graph.concept.NodeAcceptance<N>)
        • net.automatalib.graph.BidirectionalGraph<N,E>
          • net.automatalib.graph.UniversalBidirectionalGraph<N,E,NP,EP> (also extends net.automatalib.graph.UniversalGraph<N,E,NP,EP>)
            • net.automatalib.graph.MutableUniversalBidirectionalGraph<N,E,NP,EP> (also extends net.automatalib.graph.MutableGraph<N,E,NP,EP>)
        • net.automatalib.graph.FiniteKripkeStructure<N,E,AP> (also extends net.automatalib.graph.concept.KripkeInterpretation<N,AP>)
          • net.automatalib.graph.ProceduralModalProcessGraph<N,L,E,AP,TP> (also extends net.automatalib.graph.concept.FinalNode<N>, net.automatalib.graph.FiniteLabeledGraph<N,E,L>, net.automatalib.graph.concept.InitialNode<N>, net.automatalib.graph.UniversalGraph<N,E,NP,EP>)
            • net.automatalib.graph.MutableProceduralModalProcessGraph<N,L,E,AP,TP> (also extends net.automatalib.graph.concept.MutableEdgeLabels<E,L>, net.automatalib.graph.MutableGraph<N,E,NP,EP>, net.automatalib.graph.concept.MutableKripkeInterpretation<N,AP>)
        • net.automatalib.graph.FiniteLabeledGraph<N,E,L> (also extends net.automatalib.graph.concept.EdgeLabels<E,L>)
          • net.automatalib.graph.ProceduralModalProcessGraph<N,L,E,AP,TP> (also extends net.automatalib.graph.concept.FinalNode<N>, net.automatalib.graph.FiniteKripkeStructure<N,E,AP>, net.automatalib.graph.concept.InitialNode<N>, net.automatalib.graph.UniversalGraph<N,E,NP,EP>)
            • net.automatalib.graph.MutableProceduralModalProcessGraph<N,L,E,AP,TP> (also extends net.automatalib.graph.concept.MutableEdgeLabels<E,L>, net.automatalib.graph.MutableGraph<N,E,NP,EP>, net.automatalib.graph.concept.MutableKripkeInterpretation<N,AP>)
        • net.automatalib.graph.ShrinkableGraph<N,E>
        • net.automatalib.graph.UndirectedGraph<N,E>
        • net.automatalib.graph.UniversalGraph<N,E,NP,EP> (also extends net.automatalib.graph.UniversalIndefiniteGraph<N,E,NP,EP>)
          • net.automatalib.graph.MutableGraph<N,E,NP,EP>
            • net.automatalib.graph.MutableProceduralModalProcessGraph<N,L,E,AP,TP> (also extends net.automatalib.graph.concept.MutableEdgeLabels<E,L>, net.automatalib.graph.concept.MutableKripkeInterpretation<N,AP>, net.automatalib.graph.ProceduralModalProcessGraph<N,L,E,AP,TP>)
            • net.automatalib.graph.MutableUniversalBidirectionalGraph<N,E,NP,EP> (also extends net.automatalib.graph.UniversalBidirectionalGraph<N,E,NP,EP>)
          • net.automatalib.graph.ProceduralModalProcessGraph<N,L,E,AP,TP> (also extends net.automatalib.graph.concept.FinalNode<N>, net.automatalib.graph.FiniteKripkeStructure<N,E,AP>, net.automatalib.graph.FiniteLabeledGraph<N,E,L>, net.automatalib.graph.concept.InitialNode<N>)
            • net.automatalib.graph.MutableProceduralModalProcessGraph<N,L,E,AP,TP> (also extends net.automatalib.graph.concept.MutableEdgeLabels<E,L>, net.automatalib.graph.MutableGraph<N,E,NP,EP>, net.automatalib.graph.concept.MutableKripkeInterpretation<N,AP>)
          • net.automatalib.graph.UniversalBidirectionalGraph<N,E,NP,EP> (also extends net.automatalib.graph.BidirectionalGraph<N,E>)
            • net.automatalib.graph.MutableUniversalBidirectionalGraph<N,E,NP,EP> (also extends net.automatalib.graph.MutableGraph<N,E,NP,EP>)
• net.automatalib.graph.concept.KripkeInterpretation<N,AP>
  • net.automatalib.graph.FiniteKripkeStructure<N,E,AP> (also extends net.automatalib.graph.Graph<N,E>)
    • net.automatalib.graph.ProceduralModalProcessGraph<N,L,E,AP,TP> (also extends net.automatalib.graph.concept.FinalNode<N>, net.automatalib.graph.FiniteLabeledGraph<N,E,L>, net.automatalib.graph.concept.InitialNode<N>, net.automatalib.graph.UniversalGraph<N,E,NP,EP>)
      • net.automatalib.graph.MutableProceduralModalProcessGraph<N,L,E,AP,TP> (also extends net.automatalib.graph.concept.MutableEdgeLabels<E,L>, net.automatalib.graph.MutableGraph<N,E,NP,EP>, net.automatalib.graph.concept.MutableKripkeInterpretation<N,AP>)
  • net.automatalib.graph.concept.MutableKripkeInterpretation<N,AP>
    • net.automatalib.graph.MutableProceduralModalProcessGraph<N,L,E,AP,TP> (also extends net.automatalib.graph.concept.MutableEdgeLabels<E,L>, net.automatalib.graph.MutableGraph<N,E,NP,EP>, net.automatalib.graph.ProceduralModalProcessGraph<N,L,E,AP,TP>)
• net.automatalib.graph.concept.NodeAcceptance<N>
  • net.automatalib.graph.AcceptanceGraph<N,E> (also extends net.automatalib.graph.Graph<N,E>)