Package | Description |
---|---|
net.automatalib.util.automata.fsa | |
net.automatalib.util.automata.vpda | |
net.automatalib.util.ts.acceptors |
Modifier and Type | Method and Description |
---|---|
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 MutableDFA<S,I>> |
DFAs.combine(DFA<?,I> dfa1,
DFA<?,I> dfa2,
Collection<? extends I> inputs,
A out,
AcceptanceCombiner combiner)
Most general way of combining two DFAs.
|
Modifier and Type | Method and Description |
---|---|
static <L1,L2,I> OneSEVPA<Pair<L1,L2>,I> |
OneSEVPAs.combine(OneSEVPA<L1,I> sevpa1,
OneSEVPA<L2,I> sevpa2,
VPDAlphabet<I> alphabet,
AcceptanceCombiner combiner)
Most general way of combining two SEVPAs.
|
Constructor and Description |
---|
ProductOneSEVPA(VPDAlphabet<I> alphabet,
OneSEVPA<L1,I> sevpa1,
OneSEVPA<L2,I> sevpa2,
AcceptanceCombiner combiner) |
Modifier and Type | Field and Description |
---|---|
static AcceptanceCombiner |
AcceptanceCombiner.AND |
static AcceptanceCombiner |
AcceptanceCombiner.EQUIV |
static AcceptanceCombiner |
AcceptanceCombiner.IMPL |
static AcceptanceCombiner |
AcceptanceCombiner.OR |
static AcceptanceCombiner |
AcceptanceCombiner.XOR |
Modifier and Type | Method and Description |
---|---|
static <S1,S2,I,T1,T2,TS1 extends DeterministicAcceptorTS<S1,I>,TS2 extends DeterministicAcceptorTS<S2,I>> |
Acceptors.combine(TS1 ts1,
TS2 ts2,
AcceptanceCombiner combiner) |
Constructor and Description |
---|
DetAcceptorComposition(A1 ts1,
A2 ts2,
AcceptanceCombiner combiner) |
Copyright © 2019. All rights reserved.