SubRunData

Specifies the Derivations to run within a SubRunDerivation and how to handle the Context around its execution.

O: type of the resulting output Fact.
I: element type of the input Fact.
derivations: a List of Derivations which must be executed in a nested run of the Engine.
contextAdditions: a function to enhance the Context based on the input value for a particular run.
inputList: the Fact whose value should be used to iterate over and perform sub runs for.
yieldFact: the Fact to extract from the result of the sub run. These values will be collected and end up being the overall result of the SubRunDerivation.

Linear Supertypes

Serializable, Serializable, Product, Equals, AnyRef, Any

Instance Constructors

new SubRunData(derivations: List[Derivation], contextAdditions: (I) ⇒ Context, inputList: Fact[List[I]], yieldFact: Fact[O])

derivations
a List of Derivations which must be executed in a nested run of the Engine.
contextAdditions
a function to enhance the Context based on the input value for a particular run.
inputList
the Fact whose value should be used to iterate over and perform sub runs for.
yieldFact
the Fact to extract from the result of the sub run. These values will be collected and end up being the overall result of the SubRunDerivation.

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( ... )
val contextAdditions: (I) ⇒ Context

a function to enhance the Context based on the input value for a particular run.
val derivations: List[Derivation]

a List of Derivations which must be executed in a nested run of the Engine.
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def finalize(): Unit

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

Definition Classes
AnyRef → Any
val inputList: Fact[List[I]]

the Fact whose value should be used to iterate over and perform sub runs for.
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
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
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( ... )
val yieldFact: Fact[O]

the Fact to extract from the result of the sub run.
the Fact to extract from the result of the sub run. These values will be collected and end up being the overall result of the SubRunDerivation.
def yieldValue: (Context) ⇒ Option[O]

Related Doc: package derivations

case class SubRunData[+O, I](derivations: List[Derivation], contextAdditions: (I) ⇒ Context, inputList: Fact[List[I]], yieldFact: Fact[O]) extends Product with Serializable

Instance Constructors

new SubRunData(derivations: List[Derivation], contextAdditions: (I) ⇒ Context, inputList: Fact[List[I]], yieldFact: Fact[O])

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def clone(): AnyRef

val contextAdditions: (I) ⇒ Context

val derivations: List[Derivation]

final def eq(arg0: AnyRef): Boolean

def finalize(): Unit

final def getClass(): Class[_]

val inputList: Fact[List[I]]

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

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

final def wait(): Unit

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

final def wait(arg0: Long): Unit

val yieldFact: Fact[O]

def yieldValue: (Context) ⇒ Option[O]

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from AnyRef

Inherited from Any

Ungrouped