Package | Description |
---|---|
net.automatalib.automata.vpda | |
net.automatalib.util.automata | |
net.automatalib.util.automata.vpda | |
net.automatalib.util.minimizer |
Modifier and Type | Class and Description |
---|---|
class |
AbstractOneSEVPA<L,I>
Abstract class for 1-SEVPAs that implements functionality shared across different subtypes.
|
class |
DefaultOneSEVPA<I>
Default implementation for 1-SEVPA.
|
Modifier and Type | Method and Description |
---|---|
static <I> @Nullable Word<I> |
Automata.findSeparatingWord(OneSEVPA<?,I> sevpa1,
OneSEVPA<?,I> sevpa2,
VPDAlphabet<I> inputs) |
static <I> @Nullable Word<I> |
Automata.findSeparatingWord(OneSEVPA<?,I> sevpa1,
OneSEVPA<?,I> sevpa2,
VPDAlphabet<I> inputs) |
static <I> boolean |
Automata.testEquivalence(OneSEVPA<?,I> sevpa1,
OneSEVPA<?,I> sevpa2,
VPDAlphabet<I> inputs) |
static <I> boolean |
Automata.testEquivalence(OneSEVPA<?,I> sevpa1,
OneSEVPA<?,I> sevpa2,
VPDAlphabet<I> inputs) |
Modifier and Type | Class and Description |
---|---|
class |
ProductOneSEVPA<L1,L2,I>
Production automaton that allows to join two given 1-SEVPAs.
|
Modifier and Type | Method and Description |
---|---|
static <L1,L2,I> OneSEVPA<Pair<L1,L2>,I> |
OneSEVPAs.and(OneSEVPA<L1,I> sevpa1,
OneSEVPA<L2,I> sevpa2,
VPDAlphabet<I> alphabet)
Calculates the conjunction ("and") of two SEVPA, and returns the result as a new SEVPA.
|
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.
|
static <L1,L2,I> OneSEVPA<Pair<L1,L2>,I> |
OneSEVPAs.equiv(OneSEVPA<L1,I> sevpa1,
OneSEVPA<L2,I> sevpa2,
VPDAlphabet<I> alphabet)
Calculates the equivalence ("<=>") of two SEVPA, and stores the result in a given mutable SEVPA.
|
static <L1,L2,I> OneSEVPA<Pair<L1,L2>,I> |
OneSEVPAs.impl(OneSEVPA<L1,I> sevpa1,
OneSEVPA<L2,I> sevpa2,
VPDAlphabet<I> alphabet)
Calculates the implication ("=>") of two SEVPA, and stores the result in a given mutable SEVPA.
|
static <L1,L2,I> OneSEVPA<Pair<L1,L2>,I> |
OneSEVPAs.or(OneSEVPA<L1,I> sevpa1,
OneSEVPA<L2,I> sevpa2,
VPDAlphabet<I> alphabet)
Calculates the disjunction ("or") of two SEVPA, and returns the result as a new SEVPA.
|
static <L1,L2,I> OneSEVPA<Pair<L1,L2>,I> |
OneSEVPAs.xor(OneSEVPA<L1,I> sevpa1,
OneSEVPA<L2,I> sevpa2,
VPDAlphabet<I> alphabet)
Calculates the exclusive-or ("xor") of two SEVPA, and stores the result in a given mutable SEVPA.
|
Modifier and Type | Method and Description |
---|---|
static <L1,L2,I> OneSEVPA<Pair<L1,L2>,I> |
OneSEVPAs.and(OneSEVPA<L1,I> sevpa1,
OneSEVPA<L2,I> sevpa2,
VPDAlphabet<I> alphabet)
Calculates the conjunction ("and") of two SEVPA, and returns the result as a new SEVPA.
|
static <L1,L2,I> OneSEVPA<Pair<L1,L2>,I> |
OneSEVPAs.and(OneSEVPA<L1,I> sevpa1,
OneSEVPA<L2,I> sevpa2,
VPDAlphabet<I> alphabet)
Calculates the conjunction ("and") of two SEVPA, and returns the result as a new SEVPA.
|
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.
|
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.
|
static <L,I> @Nullable Word<I> |
OneSEVPAUtil.computeAccessSequence(OneSEVPA<L,I> sevpa,
VPDAlphabet<I> alphabet,
Predicate<? super L> predicate) |
static <L,I> ArrayStorage<Word<I>> |
OneSEVPAUtil.computeAccessSequences(OneSEVPA<L,I> sevpa,
VPDAlphabet<I> alphabet) |
static <L,I> OneSEVPAUtil.ReachResult<L,I> |
OneSEVPAUtil.computeAccessSequences(OneSEVPA<L,I> sevpa,
VPDAlphabet<I> alphabet,
boolean computeAs,
Predicate<? super L> terminatePred) |
static <L1,L2,I> OneSEVPA<Pair<L1,L2>,I> |
OneSEVPAs.equiv(OneSEVPA<L1,I> sevpa1,
OneSEVPA<L2,I> sevpa2,
VPDAlphabet<I> alphabet)
Calculates the equivalence ("<=>") of two SEVPA, and stores the result in a given mutable SEVPA.
|
static <L1,L2,I> OneSEVPA<Pair<L1,L2>,I> |
OneSEVPAs.equiv(OneSEVPA<L1,I> sevpa1,
OneSEVPA<L2,I> sevpa2,
VPDAlphabet<I> alphabet)
Calculates the equivalence ("<=>") of two SEVPA, and stores the result in a given mutable SEVPA.
|
static <L,I> @Nullable Word<I> |
OneSEVPAUtil.findAcceptedWord(OneSEVPA<L,I> sevpa,
VPDAlphabet<I> alphabet) |
static <L,I> List<L> |
OneSEVPAUtil.findReachableLocations(OneSEVPA<L,I> sevpa,
VPDAlphabet<I> alphabet) |
static <L,I> @Nullable Word<I> |
OneSEVPAUtil.findRejectedWord(OneSEVPA<L,I> sevpa,
VPDAlphabet<I> alphabet) |
static <I> @Nullable Word<I> |
OneSEVPAUtil.findSeparatingWord(OneSEVPA<?,I> sevpa1,
OneSEVPA<?,I> sevpa2,
VPDAlphabet<I> alphabet) |
static <I> @Nullable Word<I> |
OneSEVPAUtil.findSeparatingWord(OneSEVPA<?,I> sevpa1,
OneSEVPA<?,I> sevpa2,
VPDAlphabet<I> alphabet) |
static <L1,L2,I> OneSEVPA<Pair<L1,L2>,I> |
OneSEVPAs.impl(OneSEVPA<L1,I> sevpa1,
OneSEVPA<L2,I> sevpa2,
VPDAlphabet<I> alphabet)
Calculates the implication ("=>") of two SEVPA, and stores the result in a given mutable SEVPA.
|
static <L1,L2,I> OneSEVPA<Pair<L1,L2>,I> |
OneSEVPAs.impl(OneSEVPA<L1,I> sevpa1,
OneSEVPA<L2,I> sevpa2,
VPDAlphabet<I> alphabet)
Calculates the implication ("=>") of two SEVPA, and stores the result in a given mutable SEVPA.
|
static <I> DefaultOneSEVPA<I> |
OneSEVPAs.minimize(OneSEVPA<?,I> sevpa,
VPDAlphabet<I> alphabet)
Minimizes the given SEVPA over the given alphabet.
|
static <L1,L2,I> OneSEVPA<Pair<L1,L2>,I> |
OneSEVPAs.or(OneSEVPA<L1,I> sevpa1,
OneSEVPA<L2,I> sevpa2,
VPDAlphabet<I> alphabet)
Calculates the disjunction ("or") of two SEVPA, and returns the result as a new SEVPA.
|
static <L1,L2,I> OneSEVPA<Pair<L1,L2>,I> |
OneSEVPAs.or(OneSEVPA<L1,I> sevpa1,
OneSEVPA<L2,I> sevpa2,
VPDAlphabet<I> alphabet)
Calculates the disjunction ("or") of two SEVPA, and returns the result as a new SEVPA.
|
static <I> boolean |
OneSEVPAUtil.testEquivalence(OneSEVPA<?,I> sevpa1,
OneSEVPA<?,I> sevpa2,
VPDAlphabet<I> alphabet) |
static <I> boolean |
OneSEVPAUtil.testEquivalence(OneSEVPA<?,I> sevpa1,
OneSEVPA<?,I> sevpa2,
VPDAlphabet<I> alphabet) |
static <L1,L2,I> OneSEVPA<Pair<L1,L2>,I> |
OneSEVPAs.xor(OneSEVPA<L1,I> sevpa1,
OneSEVPA<L2,I> sevpa2,
VPDAlphabet<I> alphabet)
Calculates the exclusive-or ("xor") of two SEVPA, and stores the result in a given mutable SEVPA.
|
static <L1,L2,I> OneSEVPA<Pair<L1,L2>,I> |
OneSEVPAs.xor(OneSEVPA<L1,I> sevpa1,
OneSEVPA<L2,I> sevpa2,
VPDAlphabet<I> alphabet)
Calculates the exclusive-or ("xor") of two SEVPA, and stores the result in a given mutable SEVPA.
|
Constructor and Description |
---|
ProductOneSEVPA(VPDAlphabet<I> alphabet,
OneSEVPA<L1,I> sevpa1,
OneSEVPA<L2,I> sevpa2,
AcceptanceCombiner combiner) |
ProductOneSEVPA(VPDAlphabet<I> alphabet,
OneSEVPA<L1,I> sevpa1,
OneSEVPA<L2,I> sevpa2,
AcceptanceCombiner combiner) |
Modifier and Type | Method and Description |
---|---|
static <I> DefaultOneSEVPA<I> |
OneSEVPAMinimizer.minimize(OneSEVPA<?,I> sevpa,
VPDAlphabet<I> alphabet) |
Copyright © 2020. All rights reserved.