I
- input symbol typeD
- output domain typepublic class ClassicPrefixTransformAcex<I,D> extends BaseAbstractCounterexample<Boolean>
OutInconsPrefixTransformAcex
and its derivatives, the effect of this abstract counterexamples is not directly determined by the
system outputs, but instead by whether they match the hypothesis output or not (as described in the
paper
An Abstract Framework for Counterexample Analysis in Active Automata Learning
(M. Isberner, B. Steffen; Proc. ICGI 2014).Modifier | Constructor and Description |
---|---|
protected |
ClassicPrefixTransformAcex(net.automatalib.words.Word<I> suffix,
int length,
MembershipOracle<I,D> oracle,
net.automatalib.automata.concepts.SuffixOutput<I,D> hypOut,
Function<net.automatalib.words.Word<I>,net.automatalib.words.Word<I>> asTransform) |
|
ClassicPrefixTransformAcex(net.automatalib.words.Word<I> suffix,
MembershipOracle<I,D> oracle,
net.automatalib.automata.concepts.SuffixOutput<I,D> hypOut,
Function<net.automatalib.words.Word<I>,net.automatalib.words.Word<I>> asTransform) |
Modifier and Type | Method and Description |
---|---|
boolean |
checkEffects(Boolean eff1,
Boolean eff2) |
protected Boolean |
computeEffect(int index) |
effect, getLength, setEffect, toString
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
testEffects
public ClassicPrefixTransformAcex(net.automatalib.words.Word<I> suffix, MembershipOracle<I,D> oracle, net.automatalib.automata.concepts.SuffixOutput<I,D> hypOut, Function<net.automatalib.words.Word<I>,net.automatalib.words.Word<I>> asTransform)
protected Boolean computeEffect(int index)
computeEffect
in class BaseAbstractCounterexample<Boolean>
Copyright © 2016. All rights reserved.