def __init__(self, AcceptanceF=False, CloneF=False):
"""Contructor of a State, i.e. a aggregation of transitions.
"""
if CloneF: return
self.__target_map = TargetMap()
self.__single_entry = SingleEntry()
if AcceptanceF: self.set_acceptance()
def from_state_iterable(StateList):
"""Does not set '.__target_map'
"""
result = DFA_State()
result.__target_map = TargetMap()
result.__single_entry = SingleEntry()
result.__single_entry.merge_list(state.single_entry for state in StateList)
return result
def from_TargetMap(Db):
result = DFA_State(CloneF=True)
result.__target_map = TargetMap(Db)
result.__single_entry = SingleEntry()
return result