def __init__(self, states, dstates, init):
     assert is_list_of(states, State)
     assert is_list_of(dstates, DistributionState)
     assert isinstance(init, DistributionState)
     self.states = states
     self.dstates = dstates
     self.init = init
 def __init__(self, label, transitions):
     assert isinstance(label, basestring)
     assert is_list_of(transitions, DistributionTransition)
     self.label = label
     self.transitions = transitions
     self.check_probabilities()
     self.color = 0
 def __init__(self, label, transitions):
     assert isinstance(label, basestring)
     assert is_list_of(transitions, Transition)
     self.label = label
     self.transitions = transitions
     self.color = 0