SubRunDerivation

Special case for a sub Derivation. Derivations of this type cause a nested run of the Engine to be performed and some of the results of that run will end up being the result of this Derivation.

Note: this type of Derivation is currently targeted at handling a Fact with a List as value type. The Derivations specified in this SubRunDerivation will be performed for each value inside that List.

inputs: all the input Facts on which this Derivation depends directly. Dependencies of the inner Derivations will be determined automatically and added to the the value of this parameter to form the complete set of Facts on which this Derivation depends.
output: the Fact under which the result should be stored.
condition: the Condition which determines whether this particular Derviation should be executed at all.
subRunData: describes how to setup the nested execution and how to extract the result from it.

Linear Supertypes

Serializable, Serializable, Product, Equals, Derivation, AnyRef, Any

Instance Constructors

new SubRunDerivation(inputs: Input, output: Output, condition: Condition, subRunData: SubRunData[Any, _])

inputs
all the input Facts on which this Derivation depends directly. Dependencies of the inner Derivations will be determined automatically and added to the the value of this parameter to form the complete set of Facts on which this Derivation depends.
output
the Fact under which the result should be stored.
condition
the Condition which determines whether this particular Derviation should be executed at all.
subRunData
describes how to setup the nested execution and how to extract the result from it.

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 condition: Condition

the Condition which determines whether this particular Derviation should be executed at all.
the Condition which determines whether this particular Derviation should be executed at all.

Definition Classes
SubRunDerivation → Derivation
val conditionSourcePosition: SourcePosition

Definition Classes
Derivation
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 input: List[Fact[Any]]

Definition Classes
SubRunDerivation → Derivation
val inputs: Input

all the input Facts on which this Derivation depends directly.
all the input Facts on which this Derivation depends directly. Dependencies of the inner Derivations will be determined automatically and added to the the value of this parameter to form the complete set of Facts on which this Derivation depends.
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
val output: Output

the Fact under which the result should be stored.
the Fact under which the result should be stored.

Definition Classes
SubRunDerivation → Derivation
val sourcePosition: SourcePosition

Definition Classes
Derivation
val subRunData: SubRunData[Any, _]

describes how to setup the nested execution and how to extract the result from it.
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( ... )

Related Doc: package derivations

case class SubRunDerivation(inputs: Input, output: Output, condition: Condition, subRunData: SubRunData[Any, _]) extends Derivation with Product with Serializable

Instance Constructors

new SubRunDerivation(inputs: Input, output: Output, condition: Condition, subRunData: SubRunData[Any, _])

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def clone(): AnyRef

val condition: Condition

val conditionSourcePosition: SourcePosition

final def eq(arg0: AnyRef): Boolean

def finalize(): Unit

final def getClass(): Class[_]

val input: List[Fact[Any]]

val inputs: Input

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

val output: Output

val sourcePosition: SourcePosition

val subRunData: SubRunData[Any, _]

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

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from Derivation

Inherited from AnyRef

Inherited from Any

Ungrouped