def __init__(self):
"""
Constructor - initializes object attribute:
diameterBound - diameter bound, default 0 (no limit)
"""
b_dfa.__init__(self)
self.diameterBound = 0 # diameter bound, default 0 (no limit)
def __init__(self):
"""
Construct basic items.
"""
b_dfa.__init__(self)
self._dfa_fading_state_to_flag = dict()
self._deleted_dfa_fading_state_to_new_dfa_state = dict()
# for search method
self.flags = dict()
def __init__(self):
"""
Constructor - initialization of object attributes.
"""
b_dfa.__init__(self)
self._automaton1 = self._automaton # copy of nfa_data, see enable_fallback_state
self.state_bits = 10 # number of bits for state representation
self.symbol_bits = 12 # number of bits for symbol representation
self.hash_function = None # PHF hash function
self.trans_table = None # PHF table
self.ran = 0 # number of lines in PHF table
self.fallback = False # enables/disables fallback state - used, when no transition could be made. False means that search stops
self.fallback_state = -1 # id of fallback state, -1 means that state with most incoming transitons will be chosen
self.faulty = False # enables/disables faulty transitions
self.check_faulty = False # experimental - check if generated PHF is non faulty
self.compress_hash = None # hash function for transitions keys compression
self.compress_bits = 0 # output size of compress_hash function
self.bad_transitions = 0 # bad transitions counter
self.collisions = dict() # transitions for which the collision occured
def __init__(self):
"""
Constructor - initialization of object attributes.
"""
b_dfa.__init__(self)
self._automaton1 = self._automaton # copy of nfa_data, see enable_fallback_state
self.state_bits = 10 # number of bits for state representation
self.symbol_bits = 12 # number of bits for symbol representation
self.hash_function = None # PHF hash function
self.trans_table = None # PHF table
self.ran = 0 # number of lines in PHF table
self.fallback = False # enables/disables fallback state - used, when no transition could be made. False means that search stops
self.fallback_state = -1 # id of fallback state, -1 means that state with most incoming transitons will be chosen
self.faulty = False # enables/disables faulty transitions
self.check_faulty = False # experimental - check if generated PHF is non faulty
self.compress_hash = None # hash function for transitions keys compression
self.compress_bits = 0 # output size of compress_hash function
self.bad_transitions = 0 # bad transitions counter
self.collisions = dict() # transitions for which the collision occured
def __init__(self):
"""
Construct basic items.
"""
b_dfa.__init__(self)
def __init__(self):
"""
Construct basic items.
"""
b_dfa.__init__(self)