Reformat files

ftsrg · Aug 15, 2024 · 07353cc · 07353cc
1 parent 91a582e
commit 07353cc
Show file tree

Hide file tree

Showing 5 changed files with 17 additions and 8 deletions.
diff --git a/...a/hu/bme/mit/theta/analysis/algorithm/mdd/expressionnode/MddExpressionRepresentation.java b/...a/hu/bme/mit/theta/analysis/algorithm/mdd/expressionnode/MddExpressionRepresentation.java
@@ -475,7 +475,8 @@ private void cacheModel(Valuation valuation) {
                         }
 
                         assert !representation.mddVariable.isNullOrZero(childNode) : "This would mean the model returned by the solver is incorrect";
-                        if (literal.isPresent()) representation.explicitRepresentation.cacheNode(LitExprConverter.toInt(literal.get()), childNode);
+                        if (literal.isPresent())
+                            representation.explicitRepresentation.cacheNode(LitExprConverter.toInt(literal.get()), childNode);
                         // TODO update domainSize
                     }
                 }

diff --git a/...lysis/src/test/java/hu/bme/mit/theta/analysis/algorithm/mdd/MddConstrainedCursorTest.java b/...lysis/src/test/java/hu/bme/mit/theta/analysis/algorithm/mdd/MddConstrainedCursorTest.java
@@ -140,7 +140,7 @@ public void test() throws Exception {
 //            final var structuralHandle = stateSig.getTopVariableHandle().getHandleFor(structuralRepresentation);
 
             Integer size = 0;
-            for(var cursor = transHandle.cursor(structuralRepresentation); cursor.moveNext(); ) {
+            for (var cursor = transHandle.cursor(structuralRepresentation); cursor.moveNext(); ) {
                 size++;
             }
 

diff --git a/...analysis/src/test/java/hu/bme/mit/theta/analysis/algorithm/mdd/MddStateSpaceInfoTest.java b/...analysis/src/test/java/hu/bme/mit/theta/analysis/algorithm/mdd/MddStateSpaceInfoTest.java
@@ -90,7 +90,7 @@ public static Collection<Object[]> data() {
                         2L},
 
                 {List.of(A, B),
-                         Eq(B.getRef(), False()), // y = 0
+                        Eq(B.getRef(), False()), // y = 0
                         2L},
 
                 {List.of(A, B),

diff --git a/...s/xsts/xsts-analysis/src/test/java/hu/bme/mit/theta/xsts/analysis/XstsMddCheckerTest.java b/...s/xsts/xsts-analysis/src/test/java/hu/bme/mit/theta/xsts/analysis/XstsMddCheckerTest.java
@@ -106,7 +106,7 @@ public static Collection<Object[]> data() {
 //
 //                { "src/test/resources/model/if2.xsts", "src/test/resources/property/if2.prop", false}
 
-                { "src/test/resources/model/localvars3.xsts", "src/test/resources/property/localvars3.prop", false},
+                {"src/test/resources/model/localvars3.xsts", "src/test/resources/property/localvars3.prop", false},
         });
     }
 

diff --git a/subprojects/xsts/xsts/src/main/java/hu/bme/mit/theta/xsts/XSTS.java b/subprojects/xsts/xsts/src/main/java/hu/bme/mit/theta/xsts/XSTS.java
@@ -59,13 +59,21 @@ public Expr<BoolType> getInitFormula() {
         return initFormula;
     }
 
-    public Expr<BoolType> getProp() { return prop;}
+    public Expr<BoolType> getProp() {
+        return prop;
+    }
 
-    public Set<VarDecl<?>> getVars() { return vars;}
+    public Set<VarDecl<?>> getVars() {
+        return vars;
+    }
 
-    public Set<VarDecl<?>> getTempVars() { return tempVars; }
+    public Set<VarDecl<?>> getTempVars() {
+        return tempVars;
+    }
 
-    public Set<VarDecl<?>> getStateVars() { return stateVars; }
+    public Set<VarDecl<?>> getStateVars() {
+        return stateVars;
+    }
 
     public Set<VarDecl<?>> getCtrlVars() {
         return ctrlVars;