public class MealyOutInconsPrefixTransformAcex<I,O> extends OutInconsPrefixTransformAcex<I,net.automatalib.words.Word<O>>
Constructor and Description |
---|
MealyOutInconsPrefixTransformAcex(net.automatalib.words.Word<I> suffix,
MembershipOracle<I,net.automatalib.words.Word<O>> oracle,
Function<net.automatalib.words.Word<I>,net.automatalib.words.Word<I>> asTransform) |
Modifier and Type | Method and Description |
---|---|
boolean |
checkEffects(net.automatalib.words.Word<O> eff1,
net.automatalib.words.Word<O> eff2) |
computeEffect
effect, getLength, setEffect, toString
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
testEffects
public boolean checkEffects(net.automatalib.words.Word<O> eff1, net.automatalib.words.Word<O> eff2)
checkEffects
in interface AbstractCounterexample<net.automatalib.words.Word<O>>
checkEffects
in class OutInconsPrefixTransformAcex<I,net.automatalib.words.Word<O>>
Copyright © 2016. All rights reserved.