Module de.learnlib.oracle.equivalence

Package de.learnlib.oracle.equivalence

Class MooreEQOracleChain<I,O>

java.lang.Object

de.learnlib.oracle.equivalence.EQOracleChain<MooreMachine<?,I,?,O>,I,Word<O>>

de.learnlib.oracle.equivalence.MooreEQOracleChain<I,O>

Type Parameters:

I - input symbol type

O - output symbol type

All Implemented Interfaces:

EquivalenceOracle<MooreMachine<?,I,?,O>,I,Word<O>>, EquivalenceOracle.MooreEquivalenceOracle<I,O>

public class MooreEQOracleChain<I,O>
extends EQOracleChain<MooreMachine<?,I,?,O>,I,Word<O>>
implements EquivalenceOracle.MooreEquivalenceOracle<I,O>

A type-specific refinement of EQOracleChain.

Nested Class Summary

Nested classes/interfaces inherited from interface de.learnlib.oracle.EquivalenceOracle

EquivalenceOracle.DFAEquivalenceOracle<I>, EquivalenceOracle.MealyEquivalenceOracle<I,O>, EquivalenceOracle.MMLTEquivalenceOracle<I,O>, EquivalenceOracle.MooreEquivalenceOracle<I,O>

Constructor Summary

Constructors

Constructor	Description
MooreEQOracleChain(EquivalenceOracle.MooreEquivalenceOracle<I,O>... oracles)	Delegates to EQOracleChain(EquivalenceOracle[]).
MooreEQOracleChain(List<? extends EquivalenceOracle.MooreEquivalenceOracle<I,O>> oracles)	Delegates to EQOracleChain(List).

Method Summary

Methods inherited from class de.learnlib.oracle.equivalence.EQOracleChain

addOracle, findCounterExample, getOracles

Methods inherited from class java.lang.Object

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

Methods inherited from interface de.learnlib.oracle.EquivalenceOracle

findCounterExample

Constructor Details

MooreEQOracleChain

@SafeVarargs
public MooreEQOracleChain(EquivalenceOracle.MooreEquivalenceOracle<I,O>... oracles)

Delegates to EQOracleChain(EquivalenceOracle[]).

Parameters:

oracles - maps to the oracles parameter of the delegate

MooreEQOracleChain

public MooreEQOracleChain(List<? extends EquivalenceOracle.MooreEquivalenceOracle<I,O>> oracles)

Delegates to EQOracleChain(List).

Parameters:

oracles - maps to the oracles parameter of the delegate