foresight.eqsat.AddNodeResult
See theAddNodeResult companion object
Represents the outcome of attempting to add an e-node to an e-graph.
There are two possible results:
- AddNodeResult.AlreadyThere: The e-node was already present in the e-graph.
- AddNodeResult.Added: The e-node was successfully added to the e-graph.
Both cases provide the corresponding EClassCall for the e-node.
Attributes
- Companion
- object
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
-
class Addedclass AlreadyThere
Members list
In this article