Class LYResult<S,I,O>
- java.lang.Object
-
- net.automatalib.util.automaton.ads.LYResult<S,I,O>
-
- Type Parameters:
S
- (hypothesis) state typeI
- input alphabet typeO
- output alphabet type
public class LYResult<S,I,O> extends Object
Utility class that holds some information aggregated during the ADS computation ofLeeYannakakis
.
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description @Nullable ADSNode<S,I,O>
get()
Set<S>
getIndistinguishableStates()
boolean
isPresent()
-
-
-
Method Detail
-
isPresent
@EnsuresNonNullIf(expression="this.delegate", result=true) public boolean isPresent()
-
-