given_TransitionLabeling_Any

Value members

Concrete methods

def getLabel(s: Any): String