foresight.eqsat.rewriting.patterns.Pattern
A companion object for patterns.
Attributes
-
Graph
-
-
Supertypes
-
class Object
trait Matchable
class Any
-
Self type
-
Members list
A variable in a pattern. This pattern matches any e-class.
A variable in a pattern. This pattern matches any e-class.
Attributes
-
Companion
-
object
-
Supertypes
-
class Object
trait Matchable
class Any
A companion object for Var.
A companion object for Var.
Attributes
-
Companion
-
class
-
Supertypes
-
class Object
trait Matchable
class Any
-
Self type
-