root
API
Generated with
root/foresight/foresight.eqsat/MixedTree/MixedTreeOfPatternOps

MixedTreeOfPatternOps

foresight.eqsat.MixedTree.MixedTreeOfPatternOps
final implicit class MixedTreeOfPatternOps[NodeT](val tree: MixedTree[NodeT, Pattern[NodeT]]) extends AnyVal

Extension methods for MixedTrees whose leaves are patterns.

Attributes

Graph
Supertypes
class AnyVal
trait Matchable
class Any

Members list

Value members

Concrete methods

def compiled[EGraphT <: EGraphLike[NodeT, LazyRef(...)] & EGraph[NodeT]]: CompiledPattern[NodeT, EGraphT]
def toApplier[EGraphT <: EGraphLike[NodeT, LazyRef(...)] & EGraph[NodeT]]: PatternApplier[NodeT, EGraphT]
def toSearcher[EGraphT <: EGraphLike[NodeT, LazyRef(...)] & EGraph[NodeT]]: ReversibleSearcher[NodeT, PatternMatch[NodeT], EGraphT]

Concrete fields

val tree: MixedTree[NodeT, Pattern[NodeT]]
Generated with