The default type of Derivation
is used for normal executions of a single Evaluation
.
A Derivation
models the basic element used inside the Engine
.
A Derivation
models the basic element used inside the Engine
. One execution step of the Engine
will always
relate to a single Derivation
. It defines the Input
s required for it to be 'ready' as well the Fact
under
which the result should be stored inside the context.
Specifies the Derivation
s to run within a SubRunDerivation
and how to handle the Context
around its execution.
Specifies the Derivation
s to run within a SubRunDerivation
and how to handle the Context
around its execution.
type of the resulting output Fact
.
element type of the input Fact
.
a List
of Derivation
s which must be executed in a nested run of the Engine
.
a function to enhance the Context
based on the input value for a particular run.
the Fact
whose value should be used to iterate over and perform sub runs for.
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
.
Special case for a sub Derivation
.
Special case for a sub Derivation
. Derivation
s 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
Derivation
s specified in this SubRunDerivation
will be performed for each value inside that List
.
all the input Fact
s 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 Fact
s on which this Derivation
depends.
the Fact
under which the result should be stored.
the Condition
which determines whether this particular Derviation
should be executed at all.
describes how to setup the nested execution and how to extract the result from it.
The default type of
Derivation
is used for normal executions of a singleEvaluation
.all the input
Fact
s on which thisDerivation
depends.the
Fact
under which the result should be stored.the
Condition
which determines whether this particularDerviation
should be executed at all.the actual
Evaluation
to perform when thecondition
parameter resolves totrue
. Its result will be stored under theFact
declared in theoutput
parameter.