fix(semantics): configure StateCoderAdapter

1 files changed, 9 insertions, 5 deletions

diff --git a/subprojects/store/src/main/java/tools/refinery/store/statecoding/StateCoderBuilder.java b/subprojects/store/src/main/java/tools/refinery/store/statecoding/StateCoderBuilder.java
index 54650825..868eddfc 100644
--- a/subprojects/store/src/main/java/tools/refinery/store/statecoding/StateCoderBuilder.java
+++ b/subprojects/store/src/main/java/tools/refinery/store/statecoding/StateCoderBuilder.java
@@ -10,34 +10,38 @@ import tools.refinery.store.model.ModelStore;
 import tools.refinery.store.representation.AnySymbol;
 import tools.refinery.store.tuple.Tuple1;
 
-import java.util.Arrays;
 import java.util.Collection;
 import java.util.List;
 
 public interface StateCoderBuilder extends ModelAdapterBuilder {
         StateCoderBuilder exclude(AnySymbol symbol);
+
         default StateCoderBuilder excludeAll(Collection<? extends AnySymbol> symbols) {
-                for(var symbol : symbols) {
+                for (var symbol : symbols) {
                         exclude(symbol);
                 }
                 return this;
         }
+
         default StateCoderBuilder excludeAll(AnySymbol... symbols) {
                 return excludeAll(List.of(symbols));
         }
 
         StateCoderBuilder individual(Tuple1 tuple);
-        default StateCoderBuilder individual(Collection<Tuple1> tuple1s) {
-                for(Tuple1 tuple : tuple1s){
+
+        default StateCoderBuilder individuals(Collection<Tuple1> tuple1s) {
+                for (Tuple1 tuple : tuple1s) {
                         individual(tuple);
                 }
                 return this;
         }
+
         default StateCoderBuilder individuals(Tuple1... tuple1s) {
-                return individual(Arrays.stream(tuple1s).toList());
+                return individuals(List.of(tuple1s));
         }
 
         StateCoderBuilder stateCodeCalculatorFactory(StateCodeCalculatorFactory codeCalculatorFactory);
+
         StateCoderBuilder stateEquivalenceChecker(StateEquivalenceChecker stateEquivalenceChecker);
 
         @Override