I
- input symbol typeD
- output domain typepublic class OutInconsPrefixTransformAcex<I,D> extends AbstractBaseCounterexample<D>
Note: this class cannot be used for Mealy machines, use MealyOutInconsPrefixTransformAcex
instead.
Modifier | Constructor and Description |
---|---|
protected |
OutInconsPrefixTransformAcex(net.automatalib.words.Word<I> suffix,
int length,
MembershipOracle<I,D> oracle,
Function<net.automatalib.words.Word<I>,net.automatalib.words.Word<I>> asTransform) |
|
OutInconsPrefixTransformAcex(net.automatalib.words.Word<I> suffix,
MembershipOracle<I,D> oracle,
Function<net.automatalib.words.Word<I>,net.automatalib.words.Word<I>> asTransform) |
Modifier and Type | Method and Description |
---|---|
boolean |
checkEffects(D eff1,
D eff2) |
protected D |
computeEffect(int index) |
effect, getLength, setEffect, toString
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
testEffects
public OutInconsPrefixTransformAcex(net.automatalib.words.Word<I> suffix, MembershipOracle<I,D> oracle, Function<net.automatalib.words.Word<I>,net.automatalib.words.Word<I>> asTransform)
protected D computeEffect(int index)
computeEffect
in class AbstractBaseCounterexample<D>
Copyright © 2018. All rights reserved.