Package net.automatalib.graph.concept

Interface Summary

Interface	Description
EdgeLabels<E,L>	Edge label context, for Graphs 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, for Graphs that represent a structure for deciding acceptance or rejection.
NodeIDs<N>	An interface for translating between graph nodes and their primitive representations as integers.