Deprecate old code

Summer2023SHY · Aug 12, 2024 · d857f01 · d857f01
1 parent f948f76
commit d857f01
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/jdec-api/src/main/java/com/github/automaton/automata/UStructure.java b/jdec-api/src/main/java/com/github/automaton/automata/UStructure.java
@@ -1382,7 +1382,10 @@ protected void renumberStatesInAllTransitionData(Map<Long, Long> mappingHashMap)
      *                     will be found, and then the longest one will be returned
      * @return The list of sequences of event labels (or {@code null} if there are
      *         no counter-examples)
+     * 
+     * @deprecated This method is no longer used.
      **/
+    @Deprecated(since = "2.1.0", forRemoval = true)
     public List<List<String>> findCounterExample(boolean findShortest) {
 
         if (!hasViolations())
@@ -1458,7 +1461,10 @@ public List<List<String>> findCounterExample(boolean findShortest) {
      * @param path      The path of states leading to the counter-example
      * @param violation The relevant violation
      * @return The list of event label sequences
+     * 
+     * @deprecated This method is no longer used.
      **/
+    @Deprecated(since = "2.1.0", forRemoval = true)
     private List<List<String>> generateSequences(List<State> path, TransitionData violation) {
 
         /* Build sequence of events and event labels for this counter-example */