net.automatalib.util.ts.acceptors

Class Acceptors

java.lang.Object

net.automatalib.util.ts.acceptors.Acceptors

public abstract class Acceptors
extends Object

Method Summary

Modifier and Type	Method and Description
static <S> Mapping<S,Boolean>	acceptance(AcceptorTS<S,?> acceptor)
static <S1,S2,I,TS1 extends DeterministicAcceptorTS<S1,I>,TS2 extends DeterministicAcceptorTS<S2,I>> DetAcceptorComposition<S1,S2,I,TS1,TS2>	and(TS1 ts1, TS2 ts2)
static <S1,S2,I,T1,T2,TS1 extends DeterministicAcceptorTS<S1,I>,TS2 extends DeterministicAcceptorTS<S2,I>> DetAcceptorComposition<S1,S2,I,TS1,TS2>	combine(TS1 ts1, TS2 ts2, AcceptanceCombiner combiner)
static <S1,S2,I,TS1 extends DeterministicAcceptorTS<S1,I>,TS2 extends DeterministicAcceptorTS<S2,I>> DetAcceptorComposition<S1,S2,I,TS1,TS2>	equiv(TS1 ts1, TS2 ts2)
static <S1,S2,I,TS1 extends DeterministicAcceptorTS<S1,I>,TS2 extends DeterministicAcceptorTS<S2,I>> DetAcceptorComposition<S1,S2,I,TS1,TS2>	impl(TS1 ts1, TS2 ts2)
static <S1,S2,I,TS1 extends DeterministicAcceptorTS<S1,I>,TS2 extends DeterministicAcceptorTS<S2,I>> DetAcceptorComposition<S1,S2,I,TS1,TS2>	or(TS1 ts1, TS2 ts2)
static <S1,S2,I,TS1 extends DeterministicAcceptorTS<S1,I>,TS2 extends DeterministicAcceptorTS<S2,I>> DetAcceptorComposition<S1,S2,I,TS1,TS2>	xor(TS1 ts1, TS2 ts2)

Methods inherited from class java.lang.Object

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

Method Detail

combine

public static <S1,S2,I,T1,T2,TS1 extends DeterministicAcceptorTS<S1,I>,TS2 extends DeterministicAcceptorTS<S2,I>> DetAcceptorComposition<S1,S2,I,TS1,TS2> combine(TS1 ts1,
                                                                                                                                                                  TS2 ts2,
                                                                                                                                                                  AcceptanceCombiner combiner)

and

public static <S1,S2,I,TS1 extends DeterministicAcceptorTS<S1,I>,TS2 extends DeterministicAcceptorTS<S2,I>> DetAcceptorComposition<S1,S2,I,TS1,TS2> and(TS1 ts1,
                                                                                                                                                        TS2 ts2)

or

public static <S1,S2,I,TS1 extends DeterministicAcceptorTS<S1,I>,TS2 extends DeterministicAcceptorTS<S2,I>> DetAcceptorComposition<S1,S2,I,TS1,TS2> or(TS1 ts1,
                                                                                                                                                       TS2 ts2)

xor

public static <S1,S2,I,TS1 extends DeterministicAcceptorTS<S1,I>,TS2 extends DeterministicAcceptorTS<S2,I>> DetAcceptorComposition<S1,S2,I,TS1,TS2> xor(TS1 ts1,
                                                                                                                                                        TS2 ts2)

equiv

public static <S1,S2,I,TS1 extends DeterministicAcceptorTS<S1,I>,TS2 extends DeterministicAcceptorTS<S2,I>> DetAcceptorComposition<S1,S2,I,TS1,TS2> equiv(TS1 ts1,
                                                                                                                                                          TS2 ts2)

impl

public static <S1,S2,I,TS1 extends DeterministicAcceptorTS<S1,I>,TS2 extends DeterministicAcceptorTS<S2,I>> DetAcceptorComposition<S1,S2,I,TS1,TS2> impl(TS1 ts1,
                                                                                                                                                         TS2 ts2)

acceptance

public static <S> Mapping<S,Boolean> acceptance(AcceptorTS<S,?> acceptor)