Module de.learnlib.oracle.property

Package de.learnlib.oracle.property

Class DFAPropertyOracleChain<I,P>

java.lang.Object

de.learnlib.oracle.property.PropertyOracleChain<I,net.automatalib.automaton.fsa.DFA<?,I>,P,Boolean>

de.learnlib.oracle.property.DFAPropertyOracleChain<I,P>

Type Parameters:

I - input symbol type

P - property type

All Implemented Interfaces:

EquivalenceOracle<net.automatalib.automaton.fsa.DFA<?,I>,I,Boolean>, EquivalenceOracle.DFAEquivalenceOracle<I>, InclusionOracle<net.automatalib.automaton.fsa.DFA<?,I>,I,Boolean>, InclusionOracle.DFAInclusionOracle<I>, PropertyOracle<I,net.automatalib.automaton.fsa.DFA<?,I>,P,Boolean>, PropertyOracle.DFAPropertyOracle<I,P>

public class DFAPropertyOracleChain<I,P>
extends PropertyOracleChain<I,net.automatalib.automaton.fsa.DFA<?,I>,P,Boolean>
implements PropertyOracle.DFAPropertyOracle<I,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
DFAPropertyOracleChain(PropertyOracle.DFAPropertyOracle<I,P>... oracles)	Delegates to PropertyOracleChain(PropertyOracle[]).
DFAPropertyOracleChain(Collection<? extends PropertyOracle.DFAPropertyOracle<I,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

DFAPropertyOracleChain

@SafeVarargs
public DFAPropertyOracleChain(PropertyOracle.DFAPropertyOracle<I,P>... oracles)

Delegates to PropertyOracleChain(PropertyOracle[]).

Parameters:

oracles - maps to the oracles parameter of the delegate

DFAPropertyOracleChain

public DFAPropertyOracleChain(Collection<? extends PropertyOracle.DFAPropertyOracle<I,P>> oracles)

Delegates to PropertyOracleChain(Collection).

Parameters:

oracles - maps to the oracles parameter of the delegate