Uses of Class
de.learnlib.oracle.membership.AbstractSULOmegaOracle
-
Packages that use AbstractSULOmegaOracle Package Description de.learnlib.oracle.membership -
-
Uses of AbstractSULOmegaOracle in de.learnlib.oracle.membership
Methods in de.learnlib.oracle.membership that return AbstractSULOmegaOracle Modifier and Type Method Description static <S,I,O>
AbstractSULOmegaOracle<S,I,O,?>AbstractSULOmegaOracle. newOracle(ObservableSUL<S,I,O> sul)
Creates a newAbstractSULOmegaOracle
that assumes theSUL
can not make deep copies.static <S,I,O>
AbstractSULOmegaOracle<S,I,O,?>AbstractSULOmegaOracle. newOracle(ObservableSUL<S,I,O> sul, boolean deepCopies)
Creates a newAbstractSULOmegaOracle
, while making sure the invariants of theObservableSUL
are satisfied.
-