Constraints contained within an SMTObjective are overwritten during the translation to SMT
Constraints contained within an SMTObjective
are overwritten during
the translation to SMT in
org.fortiss.af3.exploration.smt.modeltransformation.DSMLtoSMTTransformator.transform(ExplorationSpecification, Context)
.
This is caused by using their shared parent(the dslExpression
) as key
when storing the SMT expression within both the expressionCache
and
the transformedExpressions
maps (in the constraint loop as well as
when adding the minimize/maximize objective itself).
(from redmine: issue id 3766, created on 2019-07-05, closed on 2019-07-12)