de.learnlib.api.oracle.OmegaMembershipOracle Maven / Gradle / Ivy

Go to download
Show more of this group Show more artifacts with this name
Show all versions of learnlib-api Show documentation
Infrastructure and core interfaces of LearnLib
There is a newer version: 0.17.0
/* Copyright (C) 2013-2020 TU Dortmund
 * This file is part of LearnLib, http://www.learnlib.de/.
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *     http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */
package de.learnlib.api.oracle;

import java.util.Collection;
import java.util.Collections;

import de.learnlib.api.ObservableSUL;
import de.learnlib.api.oracle.MembershipOracle.DFAMembershipOracle;
import de.learnlib.api.oracle.MembershipOracle.MealyMembershipOracle;
import de.learnlib.api.oracle.parallelism.BatchProcessor;
import de.learnlib.api.query.OmegaQuery;
import net.automatalib.commons.util.Pair;
import net.automatalib.words.Word;
import org.checkerframework.checker.nullness.qual.Nullable;

/**
 * Answers {@link OmegaQuery}s, similar to a {@link MembershipOracle}. Additionally, one can ask whether two states
 * are equal to each other.
 *
 * @author Jeroen Meijer
 *
 * @param  the state type
 * @param  the input type
 * @param  the output type
 */
public interface OmegaMembershipOracle extends OmegaQueryAnswerer, BatchProcessor> {

    @Override
    default Pair<@Nullable D, Integer> answerQuery(Word prefix, Word loop, int repeat) {
        final OmegaQuery query = new OmegaQuery<>(prefix, loop, repeat);
        processQuery(query);
        return Pair.of(query.getOutput(), query.getPeriodicity());
    }

    @Override
    default void processBatch(Collection> batch) {
        this.processQueries(batch);
    }

    default void processQuery(OmegaQuery query) {
        processQueries(Collections.singleton(query));
    }

    void processQueries(Collection> queries);

    @Override
    default OmegaMembershipOracle asOracle() {
        return this;
    }

    /**
     * Returns a regular membership oracle.
     *
     * @return a regular membership oracle.
     */
    MembershipOracle getMembershipOracle();

    /**
     * Returns whether two states are equal, or if both access sequences {@code w1}, and {@code w2} end up in the
     * same state. If both access sequences end up in the same state then {@code s1.equals(s2)} must hold.
     *
     * @see ObservableSUL#getState()
     *
     * @param w1 the first access sequence.
     * @param s1 the first state.
     * @param w2 the second access sequence.
     * @param s2 the second state.
     *
     * @return whether both states, or states via the given access sequences are equal.
     */
    boolean isSameState(Word w1, S s1, Word w2, S s2);

    interface DFAOmegaMembershipOracle extends OmegaMembershipOracle {

        @Override
        DFAMembershipOracle getMembershipOracle();
    }

    interface MealyOmegaMembershipOracle extends OmegaMembershipOracle> {

        @Override
        MealyMembershipOracle getMembershipOracle();
    }
}