LearnLib / automatalib / 6673214172

coverage: 89.166% (-0.6%) from 89.796%
6673214172

push

github

mtf90 
cleanup release configuration

15399 of 17270 relevant lines covered (89.17%)

1.67 hits per line

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

0.0
/api/src/main/java/net/automatalib/graph/ads/ADSNode.java
1 
/* Copyright (C) 2013-2023 TU Dortmund
2 
 * This file is part of AutomataLib, http://www.automatalib.net/.
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 net.automatalib.graph.ads;
17 









18



import java.util.Collection;










19












20



/**










21



 * A (simplified) node in an adaptive distinguishing sequence. See {@link RecursiveADSNode}.










22



 *










23



 * @param <S>










24



 *         (hypothesis) state type










25



 * @param <I>










26



 *         input alphabet type










27



 * @param <O>










28



 *         output alphabet type










29



 */










30



public interface ADSNode<S, I, O> extends RecursiveADSNode<S, I, O, ADSNode<S, I, O>> {










31












32



    @Override










33



    default Collection<ADSNode<S, I, O>> getNodes() {










34



        return getNodesForRoot(this);




×







35



    }










36



}
























    

  • 

    •