Reformat files

ftsrg · Aug 12, 2024 · c80a182 · c80a182
1 parent a31f8ce
commit c80a182
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 6 deletions.
diff --git a/...in/java/hu/bme/mit/theta/analysis/algorithm/mdd/ansd/impl/MddNodeNextStateDescriptor.java b/...in/java/hu/bme/mit/theta/analysis/algorithm/mdd/ansd/impl/MddNodeNextStateDescriptor.java
@@ -51,7 +51,7 @@ public int hashCode() {
 
     @Override
     public String toString() {
-        return node +", " + variableHandle;
+        return node + ", " + variableHandle;
     }
 
     private MddNodeNextStateDescriptor(MddNode node, MddVariableHandle variableHandle) {

diff --git a/...a/hu/bme/mit/theta/analysis/algorithm/mdd/fixedpoint/LegacyRelationalProductProvider.java b/...a/hu/bme/mit/theta/analysis/algorithm/mdd/fixedpoint/LegacyRelationalProductProvider.java
@@ -153,7 +153,8 @@ private MddNode doCompute(
                 }
             }
             template = templateBuilder.buildAndReset();
-            if (!template.isEmpty()) Preconditions.checkArgument(lhs.defaultValue() == null, "Default value is not supported with explicit edges");
+            if (!template.isEmpty())
+                Preconditions.checkArgument(lhs.defaultValue() == null, "Default value is not supported with explicit edges");
         }
 
         ret = variable.checkInNode(MddStructuralTemplate.of(template));

diff --git a/...common/analysis/src/test/java/hu/bme/mit/theta/analysis/algorithm/mdd/MddRelProdTest.java b/...common/analysis/src/test/java/hu/bme/mit/theta/analysis/algorithm/mdd/MddRelProdTest.java
@@ -161,7 +161,7 @@ public static Collection<Object[]> data() {
 
                 {List.of(A, B),
                         True(),
-                        And(Prime(A.getRef()),Prime(B.getRef())), // a', b'
+                        And(Prime(A.getRef()), Prime(B.getRef())), // a', b'
                         1L},
 
                 {List.of(A, B),
@@ -219,9 +219,9 @@ public void test() throws Exception {
 
             varOrder.forEach(v -> {
                 final var domainSize = Math.max(v.getType().getDomainSize().getFiniteSize().intValue(), 0);
-                stateOrder.createOnTop(MddVariableDescriptor.create(v.getConstDecl(0),domainSize));
-                transOrder.createOnTop(MddVariableDescriptor.create(v.getConstDecl(1),domainSize));
-                transOrder.createOnTop(MddVariableDescriptor.create(v.getConstDecl(0),domainSize));
+                stateOrder.createOnTop(MddVariableDescriptor.create(v.getConstDecl(0), domainSize));
+                transOrder.createOnTop(MddVariableDescriptor.create(v.getConstDecl(1), domainSize));
+                transOrder.createOnTop(MddVariableDescriptor.create(v.getConstDecl(0), domainSize));
             });
 
             final var stateSig = stateOrder.getDefaultSetSignature();