de.learnlib.api.logging

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

java.lang.Object

de.learnlib.api.logging.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).

Author:

Jeroen Meijer

Nested Class Summary

Nested Classes

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

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

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

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

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

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

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

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
DefaultQuery<I,D>	disprove(A hypothesis, Collection<? extends I> inputs) Try to disprove this propertyOracle, and log whenever it is disproved.
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.
DefaultQuery<I,D>	getCounterExample() Returns the counterexample for the property if PropertyOracle.isDisproved(), null otherwise.
P	getProperty() Returns the property.
boolean	isDisproved() Returns whether the property is disproved.
void	setProperty(P property) Set the 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.api.oracle.PropertyOracle

findCounterExample

Methods inherited from interface de.learnlib.api.oracle.InclusionOracle

isCounterExample

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()

Description copied from interface: PropertyOracle

Returns whether the property is disproved.

Specified by:

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

Returns:

whether the property is disproved.

setProperty

public void setProperty(P property)

Description copied from interface: PropertyOracle

Set the property.

Specified by:

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

Parameters:

property - the property to set.

getProperty

public P getProperty()

Description copied from interface: PropertyOracle

Returns the property.

Specified by:

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

Returns:

the property.

getCounterExample

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

Description copied from interface: PropertyOracle

Returns the counterexample for the property if PropertyOracle.isDisproved(), null otherwise. If this method does not return null, a previous call to PropertyOracle.disprove(Output, Collection) must have returned a DefaultQuery.

Specified by:

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

Returns:

the counterexample for the property if PropertyOracle.isDisproved(), null otherwise.

disprove

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

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>

Parameters:

hypothesis - the hypothesis.

inputs - the inputs

Returns:

the DefaultQuery that is a counterexample the property, or null, if the property could not be disproved.

Throws:

ModelCheckingException

See Also:

PropertyOracle.disprove(Output, Collection)

doFindCounterExample

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

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>

Throws:

ModelCheckingException

See Also:

EquivalenceOracle.findCounterExample(Object, Collection)

toString

public String toString()

Overrides:

toString in class Object