DefaultDerivation

The default type of Derivation is used for normal executions of a single Evaluation.

input: all the input 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.
operation: the actual Evaluation to perform when the condition parameter resolves to true. Its result will be stored under the Fact declared in the output parameter.

Linear Supertypes

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

Instance Constructors

new DefaultDerivation(input: Input, output: Output, condition: Condition, operation: Evaluation[Any], sourcePosition: SourcePosition = SourceUnknown(), conditionSourcePosition: SourcePosition = SourceUnknown())

input
all the input 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.
operation
the actual Evaluation to perform when the condition parameter resolves to true. Its result will be stored under the Fact declared in the output parameter.

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
DefaultDerivation → Derivation
val conditionSourcePosition: SourcePosition

Definition Classes
DefaultDerivation → 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: Input

all the input Facts on which this Derivation depends.
all the input Facts on which this Derivation depends.

Definition Classes
DefaultDerivation → Derivation
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 operation: Evaluation[Any]

the actual Evaluation to perform when the condition parameter resolves to true.
the actual Evaluation to perform when the condition parameter resolves to true. Its result will be stored under the Fact declared in the output parameter.
val output: Output

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

Definition Classes
DefaultDerivation → Derivation
val sourcePosition: SourcePosition

Definition Classes
DefaultDerivation → Derivation
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 DefaultDerivation(input: Input, output: Output, condition: Condition, operation: Evaluation[Any], sourcePosition: SourcePosition = SourceUnknown(), conditionSourcePosition: SourcePosition = SourceUnknown()) extends Derivation with Product with Serializable

Instance Constructors

new DefaultDerivation(input: Input, output: Output, condition: Condition, operation: Evaluation[Any], sourcePosition: SourcePosition = SourceUnknown(), conditionSourcePosition: SourcePosition = SourceUnknown())

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: Input

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

val operation: Evaluation[Any]

val output: Output

val sourcePosition: SourcePosition

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