From f6440ff43e2e7497116c2cf762f61e07834b229f Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Sun, 9 Jul 2023 19:53:46 +0200 Subject: refactor: enable data variable unification This is needed for demand set transformation of DNFs with input data parameters, where the result of the transformation has an out data parameter that has to be unified with the variable in the parent clause. --- .../tools/refinery/store/query/viatra/internal/pquery/Dnf2PQuery.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'subprojects/store-query-viatra/src/main/java') diff --git a/subprojects/store-query-viatra/src/main/java/tools/refinery/store/query/viatra/internal/pquery/Dnf2PQuery.java b/subprojects/store-query-viatra/src/main/java/tools/refinery/store/query/viatra/internal/pquery/Dnf2PQuery.java index 38fd017e..d51bc9fc 100644 --- a/subprojects/store-query-viatra/src/main/java/tools/refinery/store/query/viatra/internal/pquery/Dnf2PQuery.java +++ b/subprojects/store-query-viatra/src/main/java/tools/refinery/store/query/viatra/internal/pquery/Dnf2PQuery.java @@ -88,7 +88,7 @@ public class Dnf2PQuery { List parameterList = new ArrayList<>(); for (var parameter : dnfQuery.getSymbolicParameters()) { var direction = switch (parameter.getDirection()) { - case OUT -> parameter.isUnifiable() ? PParameterDirection.INOUT : PParameterDirection.OUT; + case OUT -> PParameterDirection.INOUT; case IN -> throw new IllegalArgumentException("Query %s with input parameter %s is not supported" .formatted(dnfQuery, parameter.getVariable())); }; -- cgit v1.2.3-54-g00ecf