@ParametersAreNonnullByDefault public abstract class AbstractCalculator extends Object implements ADSCalculator
Constructor and Description |
---|
AbstractCalculator() |
Modifier and Type | Method and Description |
---|---|
<S,I,O> Optional<ADTNode<S,I,O>> |
compute(net.automatalib.automata.transout.MealyMachine<S,I,?,O> hypothesis,
net.automatalib.words.Alphabet<I> alphabet,
Set<S> targets) |
protected abstract <S,I,O> Optional<net.automatalib.graphs.ads.ADSNode<S,I,O>> |
computeInternal(net.automatalib.automata.transout.MealyMachine<S,I,?,O> hypothesis,
net.automatalib.words.Alphabet<I> alphabet,
Set<S> targets) |
public <S,I,O> Optional<ADTNode<S,I,O>> compute(net.automatalib.automata.transout.MealyMachine<S,I,?,O> hypothesis, net.automatalib.words.Alphabet<I> alphabet, Set<S> targets)
compute
in interface ADSCalculator
Copyright © 2018. All rights reserved.