| DFAFinitePropertyOracle<I,P> |
A property oracle for DFAs where it is fine to only check finite words from the model checker.
|
| DFALassoPropertyOracle<I,P> |
A property oracle for DFAs that can check lassos from the model checker.
|
| DFAPropertyOracleChain<I,P> |
This is an auto-generated refinement.
|
| LoggingPropertyOracle<I,A extends Output<I,D>,P,D> |
A PropertyOracle that performs logging.
|
| LoggingPropertyOracle.DFALoggingPropertyOracle<I,P> |
|
| LoggingPropertyOracle.MealyLoggingPropertyOracle<I,O,P> |
|
| MealyFinitePropertyOracle<I,O,P> |
A property oracle for Mealy Machines where it is fine to only check finite words from the model checker.
|
| MealyLassoPropertyOracle<I,O,P> |
A property oracle for Mealy machines that can check lassos from the model checker.
|
| MealyPropertyOracleChain<I,O,P> |
This is an auto-generated refinement.
|
| PropertyOracleChain<I,A extends Output<I,D>,P,D> |
A chain of property oracles.
|