net.automatalib.util.automata.ads

Class LYResult<S,I,O>

java.lang.Object

net.automatalib.util.automata.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.

Author:

frohme

Constructor Summary

Constructors

Constructor and Description
LYResult()
LYResult(ADSNode<S,I,O> result)
LYResult(Set<S> indistinguishableStates)

Method Summary

Modifier and Type	Method and Description
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

Constructor Detail

LYResult

public LYResult(ADSNode<S,I,O> result)

LYResult

public LYResult(Set<S> indistinguishableStates)

LYResult

public LYResult()

Method Detail

isPresent

public boolean isPresent()

get

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

getIndistinguishableStates

public Set<S> getIndistinguishableStates()