Method | Description | |
---|---|---|
EnumerateStatesInOutput ( ) : int>>.IEnumerable |
Enumerate all occurrences of $trans(q,subtree_id) in the output as pairs (q,subtree_id).
|
|
Equals ( object obj ) : bool | ||
GetAcceptorRule ( ) : |
Include all states in the output also in the lookahead. Delete the output.
|
|
GetHashCode ( ) : int | ||
IsTrueForAllStates ( bool>.Func |
Returns true iff all states that occur in the rule satisfy the predicate phi.
|
|
Normalize ( ) : |
Include all states in the output also in the lookahead.
|
|
ToString ( ) : string |
Method | Description | |
---|---|---|
CheckForAllStates ( |
||
GetStatesOf ( |
Enumerates all pairs Expr[]{state,child_variable}.
|
|
GetVariableIndex ( |
||
MkIdRule ( |
||
TreeRule ( |
Create a tree rule with regular lookahead.
|
|
TreeRule ( |
Create a tree rule with empty regular lookahead.
|
public EnumerateStatesInOutput ( ) : int>>.IEnumerable |
||
return | int>>.IEnumerable |
public IsTrueForAllStates ( bool>.Func |
||
phi | bool>.Func | predicate over states |
return | bool |