Package net.automatalib.util.ts.modal

Class ModalRefinement

java.lang.Object

net.automatalib.util.ts.modal.ModalRefinement

public final class ModalRefinement
extends Object

Method Summary

Modifier and Type	Method	Description
static <AS,BS,I> Set<Pair<AS,BS>>	refinementRelation(ModalTransitionSystem<AS,I,?,?> implementation, ModalTransitionSystem<BS,I,?,?> specification, Collection<I> inputs)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

refinementRelation

public static <AS,BS,I> Set<Pair<AS,BS>> refinementRelation(ModalTransitionSystem<AS,I,?,?> implementation,
                                                                              ModalTransitionSystem<BS,I,?,?> specification,
                                                                              Collection<I> inputs)