root
API
Generated with
root/foresight/foresight.eqsat/foresight.eqsat.rewriting/foresight.eqsat.rewriting.patterns/Pattern

Pattern

foresight.eqsat.rewriting.patterns.Pattern
See thePattern companion trait
object Pattern

A companion object for patterns.

Attributes

Companion
trait
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Pattern.type

Members list

Type members

Classlikes

final class Var[NodeT] extends Pattern[NodeT]

A variable in a pattern. This pattern matches any e-class.

A variable in a pattern. This pattern matches any e-class.

Type parameters

NodeT

The type of the nodes.

Attributes

Companion
object
Supertypes
trait Pattern[NodeT]
class Object
trait Matchable
class Any
object Var

A companion object for Var.

A companion object for Var.

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
Var.type
Generated with