本文整理汇总了Java中net.automatalib.automata.UniversalDeterministicAutomaton类的典型用法代码示例。如果您正苦于以下问题：Java UniversalDeterministicAutomaton类的具体用法？Java UniversalDeterministicAutomaton怎么用？Java UniversalDeterministicAutomaton使用的例子？那么恭喜您, 这里精选的类代码示例或许可以为您提供帮助。
UniversalDeterministicAutomaton类属于net.automatalib.automata包，在下文中一共展示了UniversalDeterministicAutomaton类的1个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的Java代码示例。
示例1: findCounterExample
import net.automatalib.automata.UniversalDeterministicAutomaton; //导入依赖的package包/类
@Override
public DefaultQuery<I, Word<O>> findCounterExample(A hypothesis, Collection<? extends I> inputs) {
UniversalDeterministicAutomaton<?, I, ?, ?, ?> aut = hypothesis;
Output<I, Word<O>> out = hypothesis;
List<Word<I>> traces = doFindTraces(aut, out, inputs);
for (Word<I> trace : traces) {
// System.out.println(testStepLimit + " " + trace.length());
// System.out.println(testStepLimit + " " + trace.length());
if (testStepLimit == 0)
return null;
DefaultQuery<I, Word<O>> query = null;
if (trace.length() < testStepLimit) {
testStepLimit -= trace.length();
query = new DefaultQuery<>(trace);
} else {
query = new DefaultQuery<>(trace.prefix((int)testStepLimit));
testStepLimit = 0;
}
sulOracle.processQuery(query);
Word<O> outputHyp = hypothesis.computeOutput(trace);
if (!outputHyp.equals(query.getOutput())){
return query;
}
}
return null;
}