foresight.eqsat.saturation.SearchAndApply
See theSearchAndApply companion object
A strategy that searches for matches of a set of rules in an e-graph and applies them.
Type parameters
-
EGraphT
-
The type of the e-graph.
-
MatchT
-
The type of the matches produced by the rules.
-
NodeT
-
The type of the nodes in the e-graph.
-
RuleT
-
The type of the rules to search and apply.
Attributes
-
Companion
-
object
-
Graph
-
-
Supertypes
-
class Object
trait Matchable
class Any
Members list
Applies the matches found for the given rules to the e-graph.
Applies the matches found for the given rules to the e-graph.
Value parameters
-
egraph
-
The e-graph to which the matches are applied.
-
matches
-
A map from rule names to sequences of matches found for each rule.
-
parallelize
-
A parallelization strategy for applying the matches.
-
rules
-
The rules whose matches are to be applied.
Attributes
-
Returns
-
An updated e-graph with the matches applied, or None if no matches were applied.
Searches for matches of the given rules in the e-graph.
Searches for matches of the given rules in the e-graph.
Value parameters
-
egraph
-
The e-graph to search in.
-
parallelize
-
A parallelization strategy for searching.
-
rules
-
The rules to search for matches.
Attributes
-
Returns
-
A map from rule names to sequences of matches found for each rule.