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 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.
all the input Fact
s on which this Derivation
depends directly.
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 Fact
under which the result should be stored.
describes how to setup the nested execution and how to extract the result from it.
Special case for a sub
Derivation
.Derivation
s of this type cause a nested run of theEngine
to be performed and some of the results of that run will end up being the result of thisDerivation
.Note: this type of
Derivation
is currently targeted at handling aFact
with aList
as value type. TheDerivation
s specified in thisSubRunDerivation
will be performed for each value inside thatList
.all the input
Fact
s on which thisDerivation
depends directly. Dependencies of the innerDerivations
will be determined automatically and added to the the value of this parameter to form the complete set ofFact
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.describes how to setup the nested execution and how to extract the result from it.