InconsistentVars
foresight.eqsat.rewriting.patterns.MachineError.InconsistentVars
final case class InconsistentVars[NodeT, EGraphT <: EGraphLike[NodeT, EGraphT] & EGraph[NodeT]](instruction: Compare[NodeT, EGraphT], first: EClassCall, second: EClassCall) extends MachineError[NodeT]
An error that occurs when two e-class calls are expected to be equal but are not.
Type parameters
- EGraphT
-
The type of the e-graph.
- NodeT
-
The type of the nodes in the e-graph.
Value parameters
- first
-
The first e-class call.
- instruction
-
The
Compareinstruction that failed to find equal e-class calls. - second
-
The second e-class call.
Attributes
- Graph
-
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait MachineError[NodeT]class Objecttrait Matchableclass Any
Members list
In this article