Package de.learnlib.oracle

Interface BlackBoxOracle<A extends Output<I,D>,I,D>

Type Parameters:

A - the automaton type

I - the input type

D - the output type

All Superinterfaces:

EquivalenceOracle<A,I,D>, InclusionOracle<A,I,D>

All Known Subinterfaces:

BlackBoxOracle.DFABlackBoxOracle<I>, BlackBoxOracle.MealyBlackBoxOracle<I,O>

All Known Implementing Classes:

CExFirstOracle, DFACExFirstOracle, DFADisproveFirstOracle, DisproveFirstOracle, MealyCExFirstOracle, MealyDisproveFirstOracle

public interface BlackBoxOracle<A extends Output<I,D>,I,D>
extends InclusionOracle<A,I,D>

Decides whether some words that do not satisfy properties evaluated by getPropertyOracles() on a given hypothesis, are included in a language. If there is such a word not included, it serves as a counter example for the given hypothesis.

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static interface	BlackBoxOracle.DFABlackBoxOracle<I>
static interface	BlackBoxOracle.MealyBlackBoxOracle<I,O>

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>

Method Summary

Modifier and Type	Method	Description
List<PropertyOracle<I,? super A,?,D>>	getPropertyOracles()	Returns the property oracles that this black-box oracle uses to evaluate properties.

Methods inherited from interface de.learnlib.oracle.EquivalenceOracle

findCounterExample

Methods inherited from interface de.learnlib.oracle.InclusionOracle

isCounterExample

Method Detail

getPropertyOracles

List<PropertyOracle<I,? super A,?,D>> getPropertyOracles()

Returns the property oracles that this black-box oracle uses to evaluate properties.

Returns:

the property oracles.