de.learnlib.api.query

Class OmegaQuery<I,D>

java.lang.Object

de.learnlib.api.query.OmegaQuery<I,D>

Type Parameters:

I - the input type

D - the output type

@ParametersAreNonnullByDefault
public class OmegaQuery<I,D>
extends Object

A query that represents information about infinite words in an ultimately periodic pattern. That is, for two finite strings u, v, this class represents the query of the infinite word uv^ω.

When answering OmegaQueries, one needs to specify the periodicity p of the looping suffix v, i.e. for what p the answer contains information about the response to the query uv^p (which can then be generalized to the infinite case since u(v^p)^ω = uv^ω.

If one cannot determine this value (e.g. because the response exhibits a non periodic pattern), one may specify a negative value for p. isUltimatelyPeriodic() then consequently returns false. In this case the output of the query (getOutput()) may be undefined.

See Also:

DefaultQuery, Query, ObservableSUL.getState()

Constructor Summary

Constructors

Constructor and Description
OmegaQuery(Word<I> prefix, Word<I> loop, int repeat)

Method Summary

Modifier and Type	Method and Description
void	answer(D output, int periodicity)
DefaultQuery<I,D>	asDefaultQuery()
boolean	equals(Object o)
Word<I>	getLoop()
D	getOutput()
int	getPeriodicity()
Word<I>	getPrefix()
int	getRepeat()
int	hashCode()
boolean	isUltimatelyPeriodic()
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

OmegaQuery

public OmegaQuery(Word<I> prefix,
                  Word<I> loop,
                  int repeat)

Method Detail

answer

public void answer(D output,
                   int periodicity)

getPrefix

public Word<I> getPrefix()

getLoop

public Word<I> getLoop()

getRepeat

public int getRepeat()

getOutput

@Nullable
public D getOutput()

getPeriodicity

public int getPeriodicity()

isUltimatelyPeriodic

public boolean isUltimatelyPeriodic()

asDefaultQuery

public DefaultQuery<I,D> asDefaultQuery()

toString

public String toString()

Overrides:

toString in class Object

equals

public final boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public final int hashCode()

Overrides:

hashCode in class Object