Uses of Interface
net.automatalib.util.ts.acceptor.AcceptanceCombiner
-
Packages that use AcceptanceCombiner Package Description net.automatalib.util.automaton.fsa net.automatalib.util.automaton.vpa net.automatalib.util.ts.acceptor -
-
Uses of AcceptanceCombiner in net.automatalib.util.automaton.fsa
Methods in net.automatalib.util.automaton.fsa with parameters of type AcceptanceCombiner Modifier and Type Method Description static <I,S,A extends MutableDFA<S,I>>
ADFAs. combine(DFA<?,I> dfa1, DFA<?,I> dfa2, Collection<? extends I> inputs, A out, AcceptanceCombiner combiner)Most general way of combining two DFAs.static <I> CompactDFA<I>DFAs. combine(DFA<?,I> dfa1, DFA<?,I> dfa2, Alphabet<I> inputAlphabet, AcceptanceCombiner combiner)Most general way of combining two DFAs.static <I,S,A extends MutableNFA<S,I>>
ANFAs. combine(NFA<?,I> nfa1, NFA<?,I> nfa2, Collection<? extends I> inputs, A out, AcceptanceCombiner combiner)Most general way of combining two NFAs.static <I> CompactNFA<I>NFAs. combine(NFA<?,I> nfa1, NFA<?,I> nfa2, Alphabet<I> inputAlphabet, AcceptanceCombiner combiner)Most general way of combining two NFAs. -
Uses of AcceptanceCombiner in net.automatalib.util.automaton.vpa
Methods in net.automatalib.util.automaton.vpa with parameters of type AcceptanceCombiner Modifier and Type Method Description static <L1,L2,I>
OneSEVPA<Pair<L1,L2>,I>OneSEVPAs. combine(OneSEVPA<L1,I> sevpa1, OneSEVPA<L2,I> sevpa2, VPAlphabet<I> alphabet, AcceptanceCombiner combiner)Most general way of combining twoOneSEVPAs.Constructors in net.automatalib.util.automaton.vpa with parameters of type AcceptanceCombiner Constructor Description ProductOneSEVPA(VPAlphabet<I> alphabet, OneSEVPA<L1,I> sevpa1, OneSEVPA<L2,I> sevpa2, AcceptanceCombiner combiner) -
Uses of AcceptanceCombiner in net.automatalib.util.ts.acceptor
Fields in net.automatalib.util.ts.acceptor declared as AcceptanceCombiner Modifier and Type Field Description static AcceptanceCombinerAcceptanceCombiner. ANDstatic AcceptanceCombinerAcceptanceCombiner. EQUIVstatic AcceptanceCombinerAcceptanceCombiner. IMPLstatic AcceptanceCombinerAcceptanceCombiner. ORstatic AcceptanceCombinerAcceptanceCombiner. XORMethods in net.automatalib.util.ts.acceptor with parameters of type AcceptanceCombiner Modifier and Type Method Description static <S1,S2,I,TS1 extends AcceptorTS<S1,I>,TS2 extends AcceptorTS<S2,I>>
AcceptorTS<Pair<S1,S2>,I>Acceptors. combine(TS1 ts1, TS2 ts2, AcceptanceCombiner combiner)static <S1,S2,I,TS1 extends DeterministicAcceptorTS<S1,I>,TS2 extends DeterministicAcceptorTS<S2,I>>
DeterministicAcceptorTS<Pair<S1,S2>,I>Acceptors. combine(TS1 ts1, TS2 ts2, AcceptanceCombiner combiner)
-