Modifier and Type | Method and Description |
---|---|
static <T1,T2> Pair<T1,T2> |
Pair.of(T1 first,
T2 second)
Convenience function for creating a pair, allowing the user to omit the type parameters.
|
Modifier and Type | Field and Description |
---|---|
static Function<Map<String,Object>,Pair<String,String>> |
DOTParsers.DEFAULT_MEALY_EDGE_PARSER
Edge input parser that expects an edge's "
label " attribute to be of the form <input>/<property> . |
Modifier and Type | Method and Description |
---|---|
static <I,O,A extends MutableMealyMachine<?,I,?,O>> |
DOTParsers.mealy(AutomatonCreator<A,I> creator,
Function<Map<String,Object>,Pair<I,O>> edgeParser)
Parser for
MealyMachine s with a custom automaton instance and custom edge attributes. |
static <I,O,A extends MutableMealyMachine<?,I,?,O>> |
DOTParsers.mealy(AutomatonCreator<A,I> creator,
Function<Map<String,Object>,Pair<I,O>> edgeParser,
String initialNodeId)
Parser for
MealyMachine s with a custom automaton instance, custom edge attributes and a custom label for
the initial node. |
static <I,O,A extends MutableMealyMachine<?,I,?,O>> |
DOTParsers.mealy(AutomatonCreator<A,I> creator,
Function<Map<String,Object>,Pair<I,O>> edgeParser,
String initialNodeId,
boolean fakeInitialNodeId)
Parser for
MealyMachine s with a custom automaton instance, custom edge attributes and a custom label for
the initial node and a flag whether or not the initial nodes are artificial. |
static <I,O> InputModelDeserializer<I,CompactMealy<I,O>> |
DOTParsers.mealy(Function<Map<String,Object>,Pair<I,O>> edgeParser)
Parser for
MealyMachine s with custom edge attributes. |
Constructor and Description |
---|
DOTMutableAutomatonParser(AutomatonCreator<A,I> creator,
Function<Map<String,Object>,SP> nodeParser,
Function<Map<String,Object>,Pair<I,TP>> edgeParser,
Collection<String> initialNodeIds,
boolean fakeInitialNodeIds)
Parser for arbitrary
MutableAutomaton s with a custom automaton instance, custom node and edge attributes
and custom labels for the initial nodes. |
Modifier and Type | Method and Description |
---|---|
protected Map<Pair<Integer,I>,Pair<O,Integer>> |
AbstractFSM2MealyParser.getTransitions()
Gets the map of transitions for the Mealy machine.
|
protected Map<Pair<Integer,I>,Pair<O,Integer>> |
AbstractFSM2MealyParser.getTransitions()
Gets the map of transitions for the Mealy machine.
|
Modifier and Type | Method and Description |
---|---|
Pair<S1,S2> |
DTSComposition.getInitialState() |
Pair<S1,S2> |
DTSComposition.getSuccessor(Pair<T1,T2> transition) |
Pair<S1,S2> |
TSComposition.getSuccessor(Pair<T1,T2> transition) |
@Nullable Pair<T1,T2> |
DTSComposition.getTransition(Pair<S1,S2> state,
I input) |
Modifier and Type | Method and Description |
---|---|
Set<Pair<S1,S2>> |
TSComposition.getInitialStates() |
Collection<Pair<T1,T2>> |
TSComposition.getTransitions(Pair<S1,S2> state,
I input) |
Modifier and Type | Method and Description |
---|---|
Pair<S1,S2> |
DTSComposition.getSuccessor(Pair<T1,T2> transition) |
Pair<S1,S2> |
TSComposition.getSuccessor(Pair<T1,T2> transition) |
@Nullable Pair<T1,T2> |
DTSComposition.getTransition(Pair<S1,S2> state,
I input) |
Collection<Pair<T1,T2>> |
TSComposition.getTransitions(Pair<S1,S2> state,
I input) |
Modifier and Type | Method and Description |
---|---|
static <S,I,T,O> Pair<ADSNode<S,I,O>,ADSNode<S,I,O>> |
ADSUtil.buildFromTrace(MealyMachine<S,I,T,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 |
---|---|
static <I,O1,O2,A extends MutableMealyMachine<?,I,?,Pair<O1,O2>>> |
MealyMachines.combine(MealyMachine<?,I,?,O1> mealy1,
MealyMachine<?,I,?,O2> mealy2,
Collection<? extends I> inputs,
A out)
Constructs the product automaton for two Mealy Machines.
|
Modifier and Type | Method and Description |
---|---|
static <I,O1,O2> CompactMealy<I,Pair<O1,O2>> |
MealyMachines.combine(MealyMachine<?,I,?,O1> mealy1,
MealyMachine<?,I,?,O2> mealy2,
Alphabet<I> inputAlphabet)
Constructs the product automaton for two Mealy Machines.
|
Modifier and Type | Method and Description |
---|---|
Pair<L1,L2> |
ProductOneSEVPA.getInitialLocation() |
@Nullable Pair<L1,L2> |
ProductOneSEVPA.getInternalSuccessor(Pair<L1,L2> loc,
I intSym) |
Pair<L1,L2> |
ProductOneSEVPA.getLocation(int id) |
@Nullable 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) |
@Nullable Pair<L1,L2> |
ProductOneSEVPA.getInternalSuccessor(Pair<L1,L2> loc,
I intSym) |
int |
ProductOneSEVPA.getLocationId(Pair<L1,L2> loc) |
@Nullable Pair<L1,L2> |
ProductOneSEVPA.getReturnSuccessor(Pair<L1,L2> loc,
I retSym,
int stackSym) |
boolean |
ProductOneSEVPA.isAcceptingLocation(Pair<L1,L2> loc) |
Modifier and Type | Method and Description |
---|---|
boolean |
DetAcceptorComposition.isAccepting(Pair<S1,S2> state) |
Modifier and Type | Method and Description |
---|---|
Pair<O1,O2> |
DetMealyComposition.getTransitionOutput(Pair<T1,T2> transition) |
Modifier and Type | Method and Description |
---|---|
Pair<O1,O2> |
DetMealyComposition.getTransitionOutput(Pair<T1,T2> transition) |
Copyright © 2020. All rights reserved.