A D G I L M P S T
All Classes All Packages

A

addOracle(PropertyOracle<I, ? super A, P, D>) - Method in class de.learnlib.oracle.property.PropertyOracleChain

D

de.learnlib.oracle.property - package de.learnlib.oracle.property

DFAFinitePropertyOracle<I,P> - Class in de.learnlib.oracle.property

A property oracle for DFAs where it is fine to only check finite words from the model checker.

DFAFinitePropertyOracle(P, InclusionOracle.DFAInclusionOracle<I>, EmptinessOracle.DFAEmptinessOracle<I>, ModelChecker.DFAModelChecker<I, P, DFA<?, I>>) - Constructor for class de.learnlib.oracle.property.DFAFinitePropertyOracle

DFALassoPropertyOracle<I,P> - Class in de.learnlib.oracle.property

A property oracle for DFAs that can check lassos from the model checker.

DFALassoPropertyOracle(P, InclusionOracle.DFAInclusionOracle<I>, LassoEmptinessOracle.DFALassoEmptinessOracle<I>, ModelCheckerLasso.DFAModelCheckerLasso<I, P>) - Constructor for class de.learnlib.oracle.property.DFALassoPropertyOracle

DFALoggingPropertyOracle(PropertyOracle.DFAPropertyOracle<I, P>) - Constructor for class de.learnlib.oracle.property.LoggingPropertyOracle.DFALoggingPropertyOracle

DFAPropertyOracleChain<I,P> - Class in de.learnlib.oracle.property

This is an auto-generated refinement.

DFAPropertyOracleChain(PropertyOracle.DFAPropertyOracle<I, P>...) - Constructor for class de.learnlib.oracle.property.DFAPropertyOracleChain

This is an auto-generated constructor.

DFAPropertyOracleChain(Collection<? extends PropertyOracle.DFAPropertyOracle<I, P>>) - Constructor for class de.learnlib.oracle.property.DFAPropertyOracleChain

This is an auto-generated constructor.

disprove(A, Collection<? extends I>) - Method in class de.learnlib.oracle.property.LoggingPropertyOracle

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

disprove(A, Collection<? extends I>) - Method in class de.learnlib.oracle.property.PropertyOracleChain

doFindCounterExample(A, Collection<? extends I>) - Method in class de.learnlib.oracle.property.LoggingPropertyOracle

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

doFindCounterExample(A, Collection<? extends I>) - Method in class de.learnlib.oracle.property.PropertyOracleChain

G

getCounterExample() - Method in class de.learnlib.oracle.property.LoggingPropertyOracle

getCounterExample() - Method in class de.learnlib.oracle.property.PropertyOracleChain

getProperty() - Method in class de.learnlib.oracle.property.LoggingPropertyOracle

getProperty() - Method in class de.learnlib.oracle.property.PropertyOracleChain

I

isDisproved() - Method in class de.learnlib.oracle.property.LoggingPropertyOracle

L

LoggingPropertyOracle<I,A extends Output<I,D>,P,D> - Class in de.learnlib.oracle.property

A PropertyOracle that performs logging.

LoggingPropertyOracle(PropertyOracle<I, A, P, D>) - Constructor for class de.learnlib.oracle.property.LoggingPropertyOracle

Constructs a new LoggingPropertyOracle.

LoggingPropertyOracle.DFALoggingPropertyOracle<I,P> - Class in de.learnlib.oracle.property

LoggingPropertyOracle.MealyLoggingPropertyOracle<I,O,P> - Class in de.learnlib.oracle.property

M

MealyFinitePropertyOracle<I,O,P> - Class in de.learnlib.oracle.property

A property oracle for Mealy Machines where it is fine to only check finite words from the model checker.

MealyFinitePropertyOracle(P, InclusionOracle.MealyInclusionOracle<I, O>, EmptinessOracle.MealyEmptinessOracle<I, O>, ModelChecker.MealyModelChecker<I, O, P, MealyMachine<?, I, ?, O>>) - Constructor for class de.learnlib.oracle.property.MealyFinitePropertyOracle

MealyLassoPropertyOracle<I,O,P> - Class in de.learnlib.oracle.property

A property oracle for Mealy machines that can check lassos from the model checker.

MealyLassoPropertyOracle(P, InclusionOracle.MealyInclusionOracle<I, O>, LassoEmptinessOracle.MealyLassoEmptinessOracle<I, O>, ModelCheckerLasso.MealyModelCheckerLasso<I, O, P>) - Constructor for class de.learnlib.oracle.property.MealyLassoPropertyOracle

MealyLoggingPropertyOracle(PropertyOracle.MealyPropertyOracle<I, O, P>) - Constructor for class de.learnlib.oracle.property.LoggingPropertyOracle.MealyLoggingPropertyOracle

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

This is an auto-generated refinement.

MealyPropertyOracleChain(PropertyOracle.MealyPropertyOracle<I, O, P>...) - Constructor for class de.learnlib.oracle.property.MealyPropertyOracleChain

This is an auto-generated constructor.

MealyPropertyOracleChain(Collection<? extends PropertyOracle.MealyPropertyOracle<I, O, P>>) - Constructor for class de.learnlib.oracle.property.MealyPropertyOracleChain

This is an auto-generated constructor.

modelCheck(DFA<?, I>, Collection<? extends I>) - Method in class de.learnlib.oracle.property.DFAFinitePropertyOracle

modelCheck(DFA<?, I>, Collection<? extends I>) - Method in class de.learnlib.oracle.property.DFALassoPropertyOracle

modelCheck(MealyMachine<?, I, ?, O>, Collection<? extends I>) - Method in class de.learnlib.oracle.property.MealyFinitePropertyOracle

modelCheck(MealyMachine<?, I, ?, O>, Collection<? extends I>) - Method in class de.learnlib.oracle.property.MealyLassoPropertyOracle

P

PropertyOracleChain<I,A extends Output<I,D>,P,D> - Class in de.learnlib.oracle.property

A chain of property oracles.

PropertyOracleChain(PropertyOracle<I, ? super A, P, D>...) - Constructor for class de.learnlib.oracle.property.PropertyOracleChain

PropertyOracleChain(Collection<? extends PropertyOracle<I, ? super A, P, D>>) - Constructor for class de.learnlib.oracle.property.PropertyOracleChain

S

setProperty(P) - Method in class de.learnlib.oracle.property.LoggingPropertyOracle

setProperty(P) - Method in class de.learnlib.oracle.property.PropertyOracleChain

T

toString() - Method in class de.learnlib.oracle.property.LoggingPropertyOracle

A D G I L M P S T
All Classes All Packages