Module de.learnlib.oracle.property

Package de.learnlib.oracle.property

Class MealyPropertyOracleChain<I,O,P>

java.lang.Object

de.learnlib.oracle.property.PropertyOracleChain<I,net.automatalib.automaton.transducer.MealyMachine<?,I,?,O>,P,net.automatalib.word.Word<O>>

de.learnlib.oracle.property.MealyPropertyOracleChain<I,O,P>

Type Parameters:

I - input symbol type

O - output symbol type

P - property type

All Implemented Interfaces:

EquivalenceOracle<net.automatalib.automaton.transducer.MealyMachine<?,I,?,O>,I,net.automatalib.word.Word<O>>, EquivalenceOracle.MealyEquivalenceOracle<I,O>, InclusionOracle<net.automatalib.automaton.transducer.MealyMachine<?,I,?,O>,I,net.automatalib.word.Word<O>>, InclusionOracle.MealyInclusionOracle<I,O>, PropertyOracle<I,net.automatalib.automaton.transducer.MealyMachine<?,I,?,O>,P,net.automatalib.word.Word<O>>, PropertyOracle.MealyPropertyOracle<I,O,P>

public class MealyPropertyOracleChain<I,O,P>
extends PropertyOracleChain<I,net.automatalib.automaton.transducer.MealyMachine<?,I,?,O>,P,net.automatalib.word.Word<O>>
implements PropertyOracle.MealyPropertyOracle<I,O,P>

A type-specific refinement of PropertyOracleChain.

Nested Class Summary

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

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

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

InclusionOracle.DFAInclusionOracle<I>, InclusionOracle.MealyInclusionOracle<I,O>

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

PropertyOracle.DFAPropertyOracle<I,P>, PropertyOracle.MealyPropertyOracle<I,O,P>

Constructor Summary

Constructors

Constructor	Description
MealyPropertyOracleChain(PropertyOracle.MealyPropertyOracle<I,O,P>... oracles)	Delegates to PropertyOracleChain(PropertyOracle[]).
MealyPropertyOracleChain(Collection<? extends PropertyOracle.MealyPropertyOracle<I,O,P>> oracles)	Delegates to PropertyOracleChain(Collection).

Method Summary

Methods inherited from class de.learnlib.oracle.property.PropertyOracleChain

disprove, doFindCounterExample, getCounterExample, getProperty

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.InclusionOracle

isCounterExample

Methods inherited from interface de.learnlib.oracle.PropertyOracle

disprove, doFindCounterExample, findCounterExample, getCounterExample, getProperty, isDisproved

Constructor Detail

MealyPropertyOracleChain

@SafeVarargs
public MealyPropertyOracleChain(PropertyOracle.MealyPropertyOracle<I,O,P>... oracles)

Delegates to PropertyOracleChain(PropertyOracle[]).

Parameters:

oracles - maps to the oracles parameter of the delegate

MealyPropertyOracleChain

public MealyPropertyOracleChain(Collection<? extends PropertyOracle.MealyPropertyOracle<I,O,P>> oracles)

Delegates to PropertyOracleChain(Collection).

Parameters:

oracles - maps to the oracles parameter of the delegate