Package net.automatalib.graph.concept
-
Interface Summary Interface Description EdgeLabels<E,L> Edge label context, forGraph
s with labeled edges.EdgeWeights<E> Edge weights concepts.FinalNode<N> GraphViewable InitialNode<N> Initial node concept.KripkeInterpretation<N,AP> A Kripke interpretation for a graph.MutableEdgeLabels<E,L> MutableKripkeInterpretation<N,AP> NodeAcceptance<N> Node acceptance concept, forGraph
s that represent a structure for deciding acceptance or rejection.NodeIDs<N> An interface for translating between graph nodes and their primitive representations as integers.