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