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 twoOneSEVPA
s.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 AcceptanceCombiner
AcceptanceCombiner. AND
static AcceptanceCombiner
AcceptanceCombiner. EQUIV
static AcceptanceCombiner
AcceptanceCombiner. IMPL
static AcceptanceCombiner
AcceptanceCombiner. OR
static AcceptanceCombiner
AcceptanceCombiner. XOR
Methods 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)
-