A companion object for the MachineError trait.
Attributes
- Companion
- trait
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
- Self type
-
MachineError.type
Members list
Type members
Classlikes
An error that occurs when two e-class calls are expected to be equal but are not.
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
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait MachineError[NodeT]class Objecttrait Matchableclass AnyShow all
An error that occurs when no e-node in an e-class matches the node type, definitions, uses, and argument count of a BindNode instruction.
An error that occurs when no e-node in an e-class matches the node type, definitions, uses, and argument count of a BindNode instruction.
Type parameters
- EGraphT
-
The type of the e-graph.
- NodeT
-
The type of the nodes in the e-graph.
Value parameters
- call
-
The e-class call that was searched for a matching e-node.
- instruction
-
The
BindNodeinstruction that failed to find a matching e-node.
Attributes
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait MachineError[NodeT]class Objecttrait Matchableclass AnyShow all