Class MergeActionLiteral<A extends AbstractValue<A,C>,C>
java.lang.Object
tools.refinery.store.dse.transition.actions.AbstractActionLiteral
tools.refinery.store.reasoning.actions.MergeActionLiteral<A,C>
- All Implemented Interfaces:
ActionLiteral
-
Constructor Summary
ConstructorDescriptionMergeActionLiteral
(PartialSymbol<A, C> partialSymbol, A value, List<NodeVariable> parameters) -
Method Summary
-
Constructor Details
-
MergeActionLiteral
-
-
Method Details
-
getPartialSymbol
-
getParameters
-
getValue
-
getInputVariables
-
getOutputVariables
-
bindToModel
-