Commit 3fa61705 authored by Tiziano Munaro's avatar Tiziano Munaro
Browse files

Add comment regarding the empty getter function for floating functions

Issue-Ref: 4052
Issue-Url: https://af3-developer.fortiss.org/issues/4052

Signed-off-by: Tiziano Munaro's avatarTiziano Munaro <munaro@fortiss.org>
parent 09ea3031
BasicDeploScheduleConstraint.java 76029b866e82f7fcbb78292e366a41d39ad86cdc GREEN
BasicDeploymentConstraint.java bd66d1e997b091ddd28423529de5a5c23af1bee9 GREEN
BasicScheduleConstraint.java 8b054b5ad961295b97936e26240eb33a10a1ee9a GREEN
ConstraintDefinitionUtils.java 5bac39f6a9c1299bc1dcc2a655496d4def646efc YELLOW
ConstraintDefinitionUtils.java b4cea0e5aabef8314c35ac22e9fabb32458e1f05 YELLOW
ConstraintTransformationAdapter.java 8806164d71491c7d1af665990dd154f2275cad8c GREEN
DSMLTransformationService.java 7869a480c0fccb5f75677b392a5d1dd1a3328b5c YELLOW
DSMLtoSMTTransformator.java 0e750ee0a344b1913774d1a83a8568ff09f49436 YELLOW
......
......@@ -172,6 +172,8 @@ public class ConstraintDefinitionUtils {
// Create a arithmetic property literal representing an arithmetic decision variable. Its
// name is used to create a "floating" function in Z3 and the extraction of the assigned
// values from the resulting model.
// Instead of setting the getter to `null`, we provide an arbitrary `BigDecimal` to indicate
// the function's sort.
return createArithmeticPropertyLiteral(set, ra -> new BigDecimal(0), START_TIME_IDENTIFIER);
}
......@@ -181,6 +183,8 @@ public class ConstraintDefinitionUtils {
// Create a arithmetic property literal representing an arithmetic decision variable. Its
// name is used to create a "floating" function in Z3 and the extraction of the assigned
// values from the resulting model.
// Instead of setting the getter to `null`, we provide an arbitrary `BigDecimal` to indicate
// the function's sort.
return createArithmeticPropertyLiteral(set, ra -> new BigDecimal(0), DURATION_IDENTIFIER);
}
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment