Method Summary |
|
__init__(self,
sigma)
|
|
accessible(self)
|
|
add_final(self,
state)
|
|
check_in_sigma(self,
label)
|
|
delete(self,
s1,
label,
s2)
|
|
delete_all(self,
s1,
s2)
|
|
delete_final(self,
state)
|
|
delete_state(self,
state)
|
|
dfa(self)
|
|
e_closure(self,
states)
|
|
empty(self)
|
|
finals(self)
|
|
forward_accessible(self,
s1,
visited)
|
|
forward_traverse(self,
state)
|
|
generate(self,
maxlen,
state,
prefix)
|
|
in_finals(self,
list)
|
|
incident_transitions(self,
state)
|
|
insert(self,
s1,
label,
s2)
|
|
inserts(self,
state_set,
label,
s2)
|
|
move(self,
states,
label)
|
|
new_state(self)
|
|
next(self,
s1,
label)
|
|
outgoing_transitions(self,
state)
|
|
pp(self)
|
|
prune(self)
|
|
reverse_accessible(self,
s1,
visited)
|
|
reverse_traverse(self,
state)
|
|
set_final(self,
states)
|
|
sigma(self)
|
|
start(self)
|
|
states(self)
|
|
transitions(self)
|
|
_relabel_state(self,
orig,
new)
|