Package | Description |
---|---|
net.automatalib.commons.util | |
net.automatalib.util.automata.ads | |
net.automatalib.util.automata.vpda |
Modifier and Type | Method and Description |
---|---|
static <T1,T2> Pair<T1,T2> |
Pair.make(T1 first,
T2 second)
Convenience function for creating a pair, allowing the user to omit the type parameters.
|
Modifier and Type | Method and Description |
---|---|
static <S,I,O> Pair<ADSNode<S,I,O>,ADSNode<S,I,O>> |
ADSUtil.buildFromTrace(MealyMachine<S,I,?,O> automaton,
Word<I> trace,
S state) |
static <S,I,O> Pair<Word<I>,Word<O>> |
ADSUtil.buildTraceForNode(ADSNode<S,I,O> node) |
Modifier and Type | Method and Description |
---|---|
Pair<L1,L2> |
ProductOneSEVPA.getInitialLocation() |
Pair<L1,L2> |
ProductOneSEVPA.getInternalSuccessor(Pair<L1,L2> loc,
I intSym) |
Pair<L1,L2> |
ProductOneSEVPA.getLocation(int id) |
Pair<L1,L2> |
ProductOneSEVPA.getReturnSuccessor(Pair<L1,L2> loc,
I retSym,
int stackSym) |
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.
|
List<Pair<L1,L2>> |
ProductOneSEVPA.getLocations() |
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 |
---|---|
int |
ProductOneSEVPA.encodeStackSym(Pair<L1,L2> srcLoc,
I callSym) |
Pair<L1,L2> |
ProductOneSEVPA.getInternalSuccessor(Pair<L1,L2> loc,
I intSym) |
int |
ProductOneSEVPA.getLocationId(Pair<L1,L2> loc) |
Pair<L1,L2> |
ProductOneSEVPA.getReturnSuccessor(Pair<L1,L2> loc,
I retSym,
int stackSym) |
boolean |
ProductOneSEVPA.isAcceptingLocation(Pair<L1,L2> loc) |
Copyright © 2018. All rights reserved.