A D G M P S

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

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

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

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.PropertyOracleChain

G

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

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

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

MealyPropertyOracleChain(PropertyOracle<I, ? super MealyMachine<?, I, ?, O>, P, Word<O>>...) - Constructor for class de.learnlib.oracle.property.PropertyOracleChain.MealyPropertyOracleChain

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

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

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

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

S

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

A D G M P S