Strategy details
|
|
ATerm
|
rtg-group-by-nonterm
|
|
File
|
util.str
|
|
Author
|
unknown
|
|
Since
|
unknown
|
|
|
No information available.
|
type
|
List(ProdRule) -> List(ProdRule)
|
|
|
|
|
ATerm
|
rtg-group-productions
|
|
File
|
util.str
|
|
Author
|
unknown
|
|
Since
|
unknown
|
|
|
No information available.
|
|
|
|
ATerm
|
rtg-productions-of(ATerm nt)
|
|
File
|
util.str
|
|
Author
|
unknown
|
|
Since
|
unknown
|
|
|
Returns the right hand sides of productions of the specified non terminal.
|
type
|
RTG -> List(ProdRuleRHS)
|
|
|
|
|
ATerm
|
rtg-start-nonterms
|
|
File
|
util.str
|
|
Author
|
unknown
|
|
Since
|
unknown
|
|
|
No information available.
|
type
|
RTG -> List(Nonterm)
|
|
|
|
|
ATerm
|
rtg-ungroup-productions
|
|
File
|
util.str
|
|
Author
|
unknown
|
|
Since
|
unknown
|
|
|
Rewrites an rtg to one rhs in a prodrule.
|
|
|
|
ATerm
|
rtg-ungroup-productions
|
|
File
|
util.str
|
|
Author
|
unknown
|
|
Since
|
unknown
|
|
|
Rewrites an list of prodrules to one rhs in a prodrule.
|
type
|
List(ProdRule) -> List(ProdRule)
|
|
|
|