AnalysisFact
foresight.eqsat.lang.AnalysisFact
final case class AnalysisFact[A](value: A) extends AnyVal
A wrapper for a value of type A that represents a fact in the context of an analysis. It is used to store information that can be used during the analysis phase of an e-graph.
Type parameters
- A
-
The type of the value stored in the analysis fact.
Value parameters
- value
-
The value of the analysis fact.
Attributes
- Graph
-
- Supertypes
-
trait Serializabletrait Producttrait Equalsclass AnyValtrait Matchableclass Any
Members list
In this article