LearnLib / learnlib / 15560723653

coverage: 94.368%. Remained the same
15560723653

push

github

mtf90 
migrate to Sonatype Central Portal

12483 of 13228 relevant lines covered (94.37%)

1.72 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

0.0
/algorithms/active/ttt/src/main/java/de/learnlib/algorithm/ttt/base/HypothesisChangedException.java
1 
/* Copyright (C) 2013-2025 TU Dortmund University
2 
 * This file is part of LearnLib <https://learnlib.de>.
3 
 *
4 
 * Licensed under the Apache License, Version 2.0 (the "License");
5 
 * you may not use this file except in compliance with the License.
6 
 * You may obtain a copy of the License at
7 
 *
8 
 *     http://www.apache.org/licenses/LICENSE-2.0
9 
 *
10 
 * Unless required by applicable law or agreed to in writing, software
11 
 * distributed under the License is distributed on an "AS IS" BASIS,
12 
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 
 * See the License for the specific language governing permissions and
14 
 * limitations under the License.
15 
 */
16 
package de.learnlib.algorithm.ttt.base;
17 









18



/**










19



 * Exception to indicate structural changes of the hypothesis during counterexample analysis, thus possibly invalidating










20



 * the counterexample.










21



 */










22



public class HypothesisChangedException extends RuntimeException {}




×





















    

  • 

    •