RuleDependencyGraphMinimizer

Instance Constructors

new RuleDependencyGraphMinimizer()

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
Definition Classes
MinimizationRuleExecutor
case class FixedPoint(maxIterations: Int) extends Strategy with Product with Serializable

A strategy that runs until fix point or maxIterations times, whichever comes first.
A strategy that runs until fix point or maxIterations times, whichever comes first.

Definition Classes
MinimizationRuleExecutor
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.

Definition Classes
MinimizationRuleExecutor

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.
A strategy that only runs once.

Definition Classes
MinimizationRuleExecutor
object RemoveCyclesIfPredicateIsTC extends MinimizationRule
object RemoveCyclesInBothDirections extends MinimizationRule
object RemoveEdgeIfLongerPathToSameNodeExists extends MinimizationRule
object RemoveEdgesWithCycleOverTCNode extends MinimizationRule
object RemoveEdgesWithPredicateAlreadyTC extends MinimizationRule
object RemoveLoops extends MinimizationRule
final def asInstanceOf[T0]: T0

Definition Classes
Any
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.

Definition Classes
RuleDependencyGraphMinimizer → MinimizationRuleExecutor
def clone(): AnyRef

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

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

Definition Classes
Logging
def debug(msg: ⇒ String): 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.

Definition Classes
MinimizationRuleExecutor
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
var log_: Logger

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 Doc: package minimizer

abstract class RuleDependencyGraphMinimizer extends MinimizationRuleExecutor

Instance Constructors

new RuleDependencyGraphMinimizer()

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

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

object Once extends Strategy with Product with Serializable

object RemoveCyclesIfPredicateIsTC extends MinimizationRule

object RemoveCyclesInBothDirections extends MinimizationRule

object RemoveEdgeIfLongerPathToSameNodeExists extends MinimizationRule

object RemoveEdgesWithCycleOverTCNode extends MinimizationRule

object RemoveEdgesWithPredicateAlreadyTC extends MinimizationRule

object RemoveLoops extends MinimizationRule

final def asInstanceOf[T0]: T0

def batches: Seq[Batch]

def clone(): AnyRef

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

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

def debug(msg: ⇒ String): 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

var log_: Logger

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 MinimizationRuleExecutor

Inherited from Logging

Inherited from AnyRef

Inherited from Any

Ungrouped