Package net.automatalib.graphs.concepts

Interface Summary

Interface	Description
EdgeLabels<E,L>	Edge label context, for Graphs with labeled edges.
EdgeWeights<E>	Edge weights concepts.
GraphViewable
InitialNode<N>	Initial node concept.
KripkeInterpretation<N,AP>	A Kripke interpretation for a graph.
NodeAcceptance<N>	Node acceptance concept, for Graphs that represent a structure for deciding acceptance or rejection.
NodeIDs<N>