MinimizationRuleExecutor

Instance Constructors

new MinimizationRuleExecutor()

Type Members

case class Batch(name: String, strategy: Strategy, rules: MinimizationRule*) extends Product with Serializable

A batch of rules.
A batch of rules.

Attributes
protected
case class FixedPoint(maxIterations: Int) extends Strategy with Product with Serializable

A strategy that runs until fix point or maxIterations times, whichever comes first.
abstract class Strategy extends AnyRef

An execution strategy for rules that indicates the maximum number of executions.
An execution strategy for rules that indicates the maximum number of executions. If the execution reaches fix point (i.e. converge) before maxIterations, it will stop.

Abstract Value Members

abstract def batches: Seq[Batch]

Defines a sequence of rule batches, to be overridden by the implementation.
Defines a sequence of rule batches, to be overridden by the implementation.

Attributes
protected

Concrete Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

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

Definition Classes
AnyRef → Any
object Once extends Strategy with Product with Serializable

A strategy that only runs once.
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
def debug(msg: ⇒ String): Unit

Definition Classes
MinimizationRuleExecutor → Logging
def debug(msg: ⇒ String, o: Any, os: Any*): Unit

Definition Classes
Logging
def debug(msg: ⇒ String, e: Throwable): Unit

Definition Classes
Logging
final def eq(arg0: AnyRef): Boolean

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

Definition Classes
AnyRef → Any
def error(msg: ⇒ String, o: Any, os: Any*): Unit

Definition Classes
Logging
def error(msg: ⇒ String, e: Throwable): Unit

Definition Classes
Logging
def error(msg: ⇒ String): Unit

Definition Classes
Logging
def execute(graph: RuleDependencyGraph): RuleDependencyGraph

Executes the batches of rules defined by the subclass.
Executes the batches of rules defined by the subclass. The batches are executed serially using the defined execution strategy. Within each batch, rules are also executed serially.
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 hashCode(): Int

Definition Classes
AnyRef → Any
def info(msg: ⇒ String, o: Any, os: Any*): Unit

Definition Classes
Logging
def info(msg: ⇒ String, e: Throwable): Unit

Definition Classes
Logging
def info(msg: ⇒ String): Unit

Definition Classes
Logging
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
def log: Logger

Attributes
protected
Definition Classes
Logging
def logName: String

Attributes
protected
Definition Classes
Logging
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
def trace(msg: ⇒ String, o: Any, os: Any*): Unit

Definition Classes
Logging
def trace(msg: ⇒ String, e: Throwable): Unit

Definition Classes
Logging
def trace(msg: ⇒ String): Unit

Definition Classes
Logging
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( ... )
def warn(msg: ⇒ String, o: Any, os: Any*): Unit

Definition Classes
Logging
def warn(msg: ⇒ String, e: Throwable): Unit

Definition Classes
Logging
def warn(msg: ⇒ String): Unit

Definition Classes
Logging

Related Docs: object MinimizationRuleExecutor | package minimizer

abstract class MinimizationRuleExecutor extends Logging

Instance Constructors

new MinimizationRuleExecutor()

Type Members

case class Batch(name: String, strategy: Strategy, rules: MinimizationRule*) extends Product with Serializable

case class FixedPoint(maxIterations: Int) extends Strategy with Product with Serializable

abstract class Strategy extends AnyRef

Abstract Value Members

abstract def batches: Seq[Batch]

Concrete Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

object Once extends Strategy with Product with Serializable

final def asInstanceOf[T0]: T0

def clone(): AnyRef

def debug(msg: ⇒ String): Unit

def debug(msg: ⇒ String, o: Any, os: Any*): Unit

def debug(msg: ⇒ String, e: Throwable): Unit

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def error(msg: ⇒ String, o: Any, os: Any*): Unit

def error(msg: ⇒ String, e: Throwable): Unit

def error(msg: ⇒ String): Unit

def execute(graph: RuleDependencyGraph): RuleDependencyGraph

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

def info(msg: ⇒ String, o: Any, os: Any*): Unit

def info(msg: ⇒ String, e: Throwable): Unit

def info(msg: ⇒ String): Unit

final def isInstanceOf[T0]: Boolean

def log: Logger

def logName: String

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

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

def toString(): String

def trace(msg: ⇒ String, o: Any, os: Any*): Unit

def trace(msg: ⇒ String, e: Throwable): Unit

def trace(msg: ⇒ String): Unit

final def wait(): Unit

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

final def wait(arg0: Long): Unit

def warn(msg: ⇒ String, o: Any, os: Any*): Unit

def warn(msg: ⇒ String, e: Throwable): Unit

def warn(msg: ⇒ String): Unit

Inherited from Logging

Inherited from AnyRef

Inherited from Any

Ungrouped