net.automatalib.graphs.concepts
Interfaces
EdgeLabels
EdgeWeights
GraphViewable
InitialNode
KripkeInterpretation
NodeAcceptance
NodeIDs