| 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)
|