Package de.learnlib.oracle.property

Class LoggingPropertyOracle<I,A extends Output<I,D>,P,D>

java.lang.Object

de.learnlib.oracle.property.LoggingPropertyOracle<I,A,P,D>

Type Parameters:

I - the input type

A - the automaton type

P - the property type

D - the output type

All Implemented Interfaces:

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

Direct Known Subclasses:

LoggingPropertyOracle.DFALoggingPropertyOracle, LoggingPropertyOracle.MealyLoggingPropertyOracle

public class LoggingPropertyOracle<I,A extends Output<I,D>,P,D>
extends Object
implements PropertyOracle<I,A,P,D>

A PropertyOracle that performs logging.

This class will log whenever the property is disproved, or when a counterexample to an automaton is found (i.e. a spurious counterexample is found).

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	LoggingPropertyOracle.DFALoggingPropertyOracle<I,P>
static class	LoggingPropertyOracle.MealyLoggingPropertyOracle<I,O,P>

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

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

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

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

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

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

Constructor Summary

Constructors

Constructor	Description
LoggingPropertyOracle(PropertyOracle<I,A,P,D> propertyOracle)	Constructs a new LoggingPropertyOracle.

Method Summary

Modifier and Type	Method	Description
@Nullable DefaultQuery<I,D>	disprove(A hypothesis, Collection<? extends I> inputs)	Try to disprove this propertyOracle, and log whenever it is disproved.
@Nullable DefaultQuery<I,D>	doFindCounterExample(A hypothesis, Collection<? extends I> inputs)	Try to find a counterexample to the given hypothesis, and log whenever such a spurious counterexample is found.
@Nullable DefaultQuery<I,D>	getCounterExample()
P	getProperty()
boolean	isDisproved()
void	setProperty(P property)
String	toString()

Methods inherited from class java.lang.Object

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

Methods inherited from interface de.learnlib.oracle.InclusionOracle

isCounterExample

Methods inherited from interface de.learnlib.oracle.PropertyOracle

findCounterExample

Constructor Detail

LoggingPropertyOracle

public LoggingPropertyOracle(PropertyOracle<I,A,P,D> propertyOracle)

Constructs a new LoggingPropertyOracle.

Parameters:

propertyOracle - the PropertyOracle to wrap around.

Method Detail

isDisproved

public boolean isDisproved()

Specified by:

isDisproved in interface PropertyOracle<I,A extends Output<I,D>,P,D>

setProperty

public void setProperty(P property)

Specified by:

setProperty in interface PropertyOracle<I,A extends Output<I,D>,P,D>

getProperty

public P getProperty()

Specified by:

getProperty in interface PropertyOracle<I,A extends Output<I,D>,P,D>

getCounterExample

public @Nullable DefaultQuery<I,D> getCounterExample()

Specified by:

getCounterExample in interface PropertyOracle<I,A extends Output<I,D>,P,D>

disprove

public @Nullable DefaultQuery<I,D> disprove(A hypothesis,
                                                  Collection<? extends I> inputs)

Try to disprove this propertyOracle, and log whenever it is disproved.

Specified by:

disprove in interface PropertyOracle<I,A extends Output<I,D>,P,D>

See Also:

PropertyOracle.disprove(Output, Collection)

doFindCounterExample

public @Nullable DefaultQuery<I,D> doFindCounterExample(A hypothesis,
                                                              Collection<? extends I> inputs)

Try to find a counterexample to the given hypothesis, and log whenever such a spurious counterexample is found.

Specified by:

doFindCounterExample in interface PropertyOracle<I,A extends Output<I,D>,P,D>

See Also:

PropertyOracle.findCounterExample(Output, Collection)

toString

public String toString()

Overrides:

toString in class Object