Uses of Class
de.learnlib.oracle.membership.AbstractSULOmegaOracle
-
-
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 newAbstractSULOmegaOraclethat assumes theSULcan 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 theObservableSULare satisfied.
-