public final class OneSEVPAUtil extends Object
Modifier and Type | Class and Description |
---|---|
static class |
OneSEVPAUtil.ReachResult<L,I> |
Modifier and Type | Method and Description |
---|---|
static <L,I> @Nullable Word<I> |
computeAccessSequence(OneSEVPA<L,I> sevpa,
VPDAlphabet<I> alphabet,
Predicate<? super L> predicate) |
static <L,I> ArrayStorage<Word<I>> |
computeAccessSequences(OneSEVPA<L,I> sevpa,
VPDAlphabet<I> alphabet) |
static <L,I> OneSEVPAUtil.ReachResult<L,I> |
computeAccessSequences(OneSEVPA<L,I> sevpa,
VPDAlphabet<I> alphabet,
boolean computeAs,
Predicate<? super L> terminatePred) |
static <L,I> @Nullable Word<I> |
findAcceptedWord(OneSEVPA<L,I> sevpa,
VPDAlphabet<I> alphabet) |
static <L,I> List<L> |
findReachableLocations(OneSEVPA<L,I> sevpa,
VPDAlphabet<I> alphabet) |
static <L,I> @Nullable Word<I> |
findRejectedWord(OneSEVPA<L,I> sevpa,
VPDAlphabet<I> alphabet) |
static <I> @Nullable Word<I> |
findSeparatingWord(OneSEVPA<?,I> sevpa1,
OneSEVPA<?,I> sevpa2,
VPDAlphabet<I> alphabet) |
static <I> boolean |
testEquivalence(OneSEVPA<?,I> sevpa1,
OneSEVPA<?,I> sevpa2,
VPDAlphabet<I> alphabet) |
public static <L,I> List<L> findReachableLocations(OneSEVPA<L,I> sevpa, VPDAlphabet<I> alphabet)
public static <L,I> OneSEVPAUtil.ReachResult<L,I> computeAccessSequences(OneSEVPA<L,I> sevpa, VPDAlphabet<I> alphabet, boolean computeAs, Predicate<? super L> terminatePred)
public static <L,I> ArrayStorage<Word<I>> computeAccessSequences(OneSEVPA<L,I> sevpa, VPDAlphabet<I> alphabet)
public static <L,I> @Nullable Word<I> findRejectedWord(OneSEVPA<L,I> sevpa, VPDAlphabet<I> alphabet)
public static <L,I> @Nullable Word<I> computeAccessSequence(OneSEVPA<L,I> sevpa, VPDAlphabet<I> alphabet, Predicate<? super L> predicate)
public static <I> boolean testEquivalence(OneSEVPA<?,I> sevpa1, OneSEVPA<?,I> sevpa2, VPDAlphabet<I> alphabet)
public static <I> @Nullable Word<I> findSeparatingWord(OneSEVPA<?,I> sevpa1, OneSEVPA<?,I> sevpa2, VPDAlphabet<I> alphabet)
public static <L,I> @Nullable Word<I> findAcceptedWord(OneSEVPA<L,I> sevpa, VPDAlphabet<I> alphabet)
Copyright © 2020. All rights reserved.