Package net.automatalib.util.automaton.equivalence

Class Bisimulation

java.lang.Object

net.automatalib.util.automaton.equivalence.Bisimulation

public final class Bisimulation
extends Object

Method Summary

Modifier and Type	Method	Description
static <AS,I,AT,A extends Automaton<AS,I,AT>,BS,BT,B extends Automaton<BS,I,BT>> Set<Pair<AS,BS>>	bisimulationEquivalenceRelation(A a, B b, Collection<I> inputs)

Methods inherited from class java.lang.Object

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

Method Detail

bisimulationEquivalenceRelation

public static <AS,I,AT,A extends Automaton<AS,I,AT>,BS,BT,B extends Automaton<BS,I,BT>> Set<Pair<AS,BS>> bisimulationEquivalenceRelation(A a,
                                                                                                                                                                                                           B b,
                                                                                                                                                                                                           Collection<I> inputs)