Package net.automatalib.util.automaton.ads

Class LYResult<S,I,O>

java.lang.Object

net.automatalib.util.automaton.ads.LYResult<S,I,O>

Type Parameters:

S - (hypothesis) state type

I - input alphabet type

O - output alphabet type

public class LYResult<S,I,O>
extends Object

Utility class that holds some information aggregated during the ADS computation of LeeYannakakis.

Method Summary

Modifier and Type	Method	Description
@Nullable ADSNode<S,I,O>	get()
Set<S>	getIndistinguishableStates()
boolean	isPresent()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

isPresent

@EnsuresNonNullIf(expression="this.delegate",
                  result=true)
public boolean isPresent()

get

public @Nullable ADSNode<S,I,O> get()

getIndistinguishableStates

public Set<S> getIndistinguishableStates()