diff --git a/src/main/java/cz/cvut/kbss/analysis/model/fta/CutSetExtractor.java b/src/main/java/cz/cvut/kbss/analysis/model/fta/CutSetExtractor.java index 1da1114a..a42f1585 100644 --- a/src/main/java/cz/cvut/kbss/analysis/model/fta/CutSetExtractor.java +++ b/src/main/java/cz/cvut/kbss/analysis/model/fta/CutSetExtractor.java @@ -84,27 +84,4 @@ protected List processAndGateScenarios(List sizes = Stream.of(2,3).toList(); -// List inds = new ArrayList<>(sizes.size()); -// sizes.forEach(s -> inds.add(0)); -// int i = 0; -// while( i < inds.size()) { -// while (i < inds.size()) { -// int ii = inds.get(i) + 1; -// if (ii < sizes.get(i)) { -// inds.set(i, ii); -// i = 0; -// break; -// } -// inds.set(i, 0); -// i++; -// } -// System.out.println(inds); -// } -// System.out.println("END"); -// } - }