LearnLib / learnlib / 6433387082

coverage: 92.296% (-0.007%) from 92.303%
6433387082

push

github

mtf90 
update Falk's developer id

11573 of 12539 relevant lines covered (92.3%)

1.67 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/algorithms/ttt/base/HypothesisChangedException.java
1 
/* Copyright (C) 2013-2023 TU Dortmund
2 
 * This file is part of LearnLib, http://www.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.algorithms.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 {}




×





















    

  • 

    •