FactEngine

Type Members

case class EvaluationException(message: String, derivation: Derivation, cause: Throwable) extends Exception with Product with Serializable

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
final def asInstanceOf[T0]: T0

Definition Classes
Any
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
final def eq(arg0: AnyRef): Boolean

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

Definition Classes
AnyRef → Any
def evaluatorExceptionWrapper[A](evaluator: (A, Derivation) ⇒ A): (A, Derivation) ⇒ A
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
final def isInstanceOf[T0]: Boolean

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

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def runDebugDerivations(c: Context, derivations: List[Derivation]): (Context, List[Step])

Runs the provided Derivations and yields the resulting Context as well as a List of all Steps computed.
Runs the provided Derivations and yields the resulting Context as well as a List of all Steps computed.
c
initial Context containing all input values.
derivations
a List of Derivations to consider with all the input values.
returns
a tuple containing the resulting Context and a List of all Steps taken.
def runDerivations[A](state: A, derivations: List[Derivation], evaluator: (A, Derivation) ⇒ A): A

Takes a List of Derivations an abstract initial situation and an evaluation function.
Takes a List of Derivations an abstract initial situation and an evaluation function. This then creates an evaluation graph and starts evaluating the nodes. Each actual evaluation is delegated to the evaluator argument.
A
type of state used by the evaluator function. The algorithm is oblivious to the structure of the state and will only pass it to the evaluator function.
state
initial state to pass into the evaluator function when visiting the first node. Any subsequent invocations of the evaluator function will be provided with the result of processing the previous node.
derivations
a List of all Derivations to consider. The function will try to call all derivations for which inputs become available.
evaluator
the function to process a node. This function is provided the current state and the derivation of the current node. It must return a new state to be used for the next node.
returns
the resulting state of the last invocation to the evaluator function.
def runNormalDerivations(c: Context, derivations: List[Derivation]): Context

Runs the provided Derivations and yields the resulting Context containing all inputs as well as all computed values.
Runs the provided Derivations and yields the resulting Context containing all inputs as well as all computed values.
c
initial Context containing all the input values.
derivations
a List of Derivations to consider with all the input values.
returns
a Context containing all input values and all computed values.
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
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( ... )

Related Doc: package engine

object FactEngine

Type Members

case class EvaluationException(message: String, derivation: Derivation, cause: Throwable) extends Exception with Product with Serializable

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def evaluatorExceptionWrapper[A](evaluator: (A, Derivation) ⇒ A): (A, Derivation) ⇒ A

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def runDebugDerivations(c: Context, derivations: List[Derivation]): (Context, List[Step])

def runDerivations[A](state: A, derivations: List[Derivation], evaluator: (A, Derivation) ⇒ A): A

def runNormalDerivations(c: Context, derivations: List[Derivation]): Context

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 AnyRef

Inherited from Any

Ungrouped