Structs§
- Match
- A match is a tuple of values corresponding to the variables in a rule. It allows you to retrieve the value corresponding to a variable in the match.
- Matches
- A collection of matches produced by a rule. The user can choose which matches to be fired.
- Scheduler
Id - A unique identifier for a scheduler in the EGraph.
Traits§
- Scheduler
- A scheduler decides which matches to be applied for a rule.