Next:
Options for rule groups
Up:
Specification of graph rewrite
Previous:
Rules in a rule
Rule tests
Options for rule groups and rules
FIRST and LAST target predicates for rule groups and rules
Predicates in rules
Simple predicates
Linear path expressions
Type inference for simple predicates
The Object/ANY class
Relation modifiers
Order indicators
All-quantified predicates
Negated predicates
Checked calls to external predicate functions
Calls to external functions
Target code predicates
Target code lines
Pattern match predicates
Patterns
Equality tests
Failure predicates
Nested rule groups
Uwe Assmann
1998-12-22
