MemoStrategy

Instance Constructors

new MemoStrategy(name: String)

Abstract Value Members

abstract val body: (Any) ⇒ Option[Any]

Implementation of this strategy.
Implementation of this strategy. When applied to a term produce either a transformed term wrapped in Some, or None, representing a rewriting failure.

Definition Classes
Strategy

Concrete Value Members

final def !=(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def !=(arg0: Any): Boolean

Definition Classes
Any
final def ##(): Int

Definition Classes
AnyRef → Any
def +(name: String, q: ⇒ Strategy): PlusStrategy

As for the other + with the first argument specifying a name for the constructed strategy.
As for the other + with the first argument specifying a name for the constructed strategy.

Definition Classes
Strategy
def +(q: Strategy): PlusStrategy

Non-deterministic choice.
Non-deterministic choice. Normally, construct a strategy that first applies either this strategy or the given strategy. If it succeeds, succeed with the resulting term. Otherwise, apply q. Currently implemented as deterministic choice, but this behaviour should not be relied upon. When used as the argument to the < conditional choice combinator, + just serves to hold the two strategies that are chosen between by the conditional choice. q is evaluated at most once.

Definition Classes
Strategy
Annotations
@macroImpl( ... )
def <(name: String, lr: ⇒ PlusStrategy): Strategy

As for the other < with the first argument specifying a name for the constructed strategy.
As for the other < with the first argument specifying a name for the constructed strategy.

Definition Classes
Strategy
def <(lr: PlusStrategy): Strategy

Conditional choice: c < l + r.
Conditional choice: c < l + r. Construct a strategy that first applies this strategy (c). If c succeeds, the strategy applies l to the resulting term, otherwise it applies r to the original subject term. lr is evaluated at most once.

Definition Classes
Strategy
Annotations
@macroImpl( ... )
def <*(name: String, q: ⇒ Strategy): Strategy

As for the other <* with the first argument specifying a name for the constructed strategy.
As for the other <* with the first argument specifying a name for the constructed strategy.

Definition Classes
Strategy
def <*(q: Strategy): Strategy

Sequential composition.
Sequential composition. Construct a strategy that first applies this strategy. If it succeeds, then apply q to the new subject term. Otherwise fail. q is evaluated at most once.

Definition Classes
Strategy
Annotations
@macroImpl( ... )
def <+(name: String, q: ⇒ Strategy): Strategy

As for the other <+ with the first argument specifying a name for the constructed strategy.
As for the other <+ with the first argument specifying a name for the constructed strategy.

Definition Classes
Strategy
def <+(q: Strategy): Strategy

Deterministic choice.
Deterministic choice. Construct a strategy that first applies this strategy. If it succeeds, succeed with the resulting term. Otherwise, apply q to the original subject term. q is evaluated at most once.

Definition Classes
Strategy
Annotations
@macroImpl( ... )
final def ==(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def ==(arg0: Any): Boolean

Definition Classes
Any
def andThen[A](g: (Option[Any]) ⇒ A): (Any) ⇒ A

Definition Classes
Function1
Annotations
@unspecialized()
def apply(r: Any): Option[Any]

Return the value of this attribute for node t, raising an error if it depends on itself.
Return the value of this attribute for node t, raising an error if it depends on itself.

Definition Classes
MemoStrategy → Strategy → Function1
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
def compose[A](g: (A) ⇒ Any): (A) ⇒ Option[Any]

Definition Classes
Function1
Annotations
@unspecialized()
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hasBeenComputedAt(r: Any): Boolean

Has this strategy been computed on r?
def hashCode(): Int

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
val memo: Memoiser[Any, Option[Any]]

Backing memo table.
def mkStrategy(name: String, f: (Any) ⇒ Option[Any]): Strategy

Make one of these strategies with the given name and body f.
Make one of these strategies with the given name and body f.

Definition Classes
MemoStrategy → Strategy
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def reset(): Unit

Reset the memo table that backs this strategy.
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Identify this strategy by its name.
Identify this strategy by its name.

Definition Classes
Strategy → Function1 → AnyRef → Any
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

abstract class MemoStrategy extends Strategy

Instance Constructors

new MemoStrategy(name: String)

Abstract Value Members

abstract val body: (Any) ⇒ Option[Any]

Concrete Value Members

final def !=(arg0: AnyRef): Boolean

final def !=(arg0: Any): Boolean

final def ##(): Int

def +(name: String, q: ⇒ Strategy): PlusStrategy

def +(q: Strategy): PlusStrategy

def <(name: String, lr: ⇒ PlusStrategy): Strategy

def <(lr: PlusStrategy): Strategy

def <*(name: String, q: ⇒ Strategy): Strategy

def <*(q: Strategy): Strategy

def <+(name: String, q: ⇒ Strategy): Strategy

def <+(q: Strategy): Strategy

final def ==(arg0: AnyRef): Boolean

final def ==(arg0: Any): Boolean

def andThen[A](g: (Option[Any]) ⇒ A): (Any) ⇒ A

def apply(r: Any): Option[Any]

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def compose[A](g: (A) ⇒ Any): (A) ⇒ Option[Any]

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def hasBeenComputedAt(r: Any): Boolean

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

val memo: Memoiser[Any, Option[Any]]

def mkStrategy(name: String, f: (Any) ⇒ Option[Any]): Strategy

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def reset(): Unit

final def synchronized[T0](arg0: ⇒ T0): T0

def toString(): String

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

Inherited from Strategy

Inherited from (Any) ⇒ Option[Any]

Inherited from AnyRef

Inherited from Any

Ungrouped