|
def | after (left, right) |
| todo More...
|
|
def | before (left, right) |
| todo More...
|
|
def | replace (rule, optional) |
| replace up, left, right, down More...
|
|
def | replace_epenthesis (rule, optional) |
| replace up, left, right, down More...
|
|
def | replace_left (rule, optional) |
| replace up, left, right, down More...
|
|
def | replace_leftmost_longest_match (rule) |
| left to right More...
|
|
def | replace_leftmost_shortest_match (rule) |
| todo More...
|
|
def | replace_rightmost_longest_match (rule) |
| right to left More...
|
|
def | replace_rightmost_shortest_match (rule) |
| todo More...
|
|
def | restriction (automaton, context) |
| Restriction function "=>". More...
|
|