Uses of Class
net.automatalib.common.util.Pair

Packages that use Pair

Package	Description
net.automatalib.alphabet	This package contains the basic classes concerning alphabets.
net.automatalib.automaton.procedural
net.automatalib.automaton.visualization
net.automatalib.common.util	This package (including sub-packages) contains basic utility classes to ease everyday programming.
net.automatalib.common.util.fixpoint
net.automatalib.graph	This package (including sub-packages) contains the basic classes concerning graphs.
net.automatalib.graph.visualization
net.automatalib.serialization.dot
net.automatalib.serialization.fsm.parser
net.automatalib.util.automaton.ads
net.automatalib.util.automaton.equivalence
net.automatalib.util.automaton.procedural
net.automatalib.util.automaton.transducer
net.automatalib.util.automaton.vpa
net.automatalib.util.ts.acceptor
net.automatalib.util.ts.comp
net.automatalib.util.ts.modal
net.automatalib.util.ts.transducer
net.automatalib.visualization.dot

Uses of Pair in net.automatalib.alphabet

Methods in net.automatalib.alphabet that return Pair

Modifier and Type	Method	Description
default <O> Pair<Word<I>,Word<O>>	ProceduralInputAlphabet.project(Word<I> input, Word<O> output, int idx)	A generalization of ProceduralInputAlphabet.project(Word, int) which applies the transformation to the input word as well as an output word (in a symbol-wise fashion).

Uses of Pair in net.automatalib.automaton.procedural

Methods in net.automatalib.automaton.procedural that return Pair

Modifier and Type	Method	Description
Pair<I,S>	ProceduralGraphView.getTarget(Triple<I,I,S> edge)

Methods in net.automatalib.automaton.procedural that return types with arguments of type Pair

Modifier and Type	Method	Description
Collection<Pair<I,S>>	ProceduralGraphView.getNodes()
VisualizationHelper<Pair<I,S>,Triple<I,I,S>>	ProceduralGraphView.getVisualizationHelper()

Methods in net.automatalib.automaton.procedural with parameters of type Pair

Modifier and Type	Method	Description
Collection<Triple<I,I,S>>	ProceduralGraphView.getOutgoingEdges(Pair<I,S> node)

Uses of Pair in net.automatalib.automaton.visualization

Methods in net.automatalib.automaton.visualization that return types with arguments of type Pair

Modifier and Type	Method	Description
protected Collection<Pair<I,S>>	ProceduralVisualizationHelper.initialNodes()

Methods in net.automatalib.automaton.visualization with parameters of type Pair

Modifier and Type	Method	Description
boolean	ProceduralVisualizationHelper.getEdgeProperties(Pair<I,S> src, Triple<I,I,S> edge, Pair<I,S> tgt, Map<String,String> properties)
boolean	ProceduralVisualizationHelper.getNodeProperties(Pair<I,S> node, Map<String,String> properties)

Uses of Pair in net.automatalib.common.util

Methods in net.automatalib.common.util that return Pair

Modifier and Type	Method	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.

Uses of Pair in net.automatalib.common.util.fixpoint

Methods in net.automatalib.common.util.fixpoint that return Pair

Modifier and Type	Method	Description
static <T,E,R> Pair<Map<T,E>,R>	Worksets.map(WorksetMappingAlgorithm<T,E,R> algorithm)

Uses of Pair in net.automatalib.graph

Methods in net.automatalib.graph that return Pair

Modifier and Type	Method	Description
Pair<L,N>	CFMPSGraphView.getTarget(Pair<L,E> edge)

Methods in net.automatalib.graph that return types with arguments of type Pair

Modifier and Type	Method	Description
Collection<Pair<L,N>>	CFMPSGraphView.getNodes()
Collection<Pair<L,E>>	CFMPSGraphView.getOutgoingEdges(Pair<L,N> node)
VisualizationHelper<Pair<L,N>,Pair<L,E>>	CFMPSGraphView.getVisualizationHelper()
VisualizationHelper<Pair<L,N>,Pair<L,E>>	CFMPSGraphView.getVisualizationHelper()

Methods in net.automatalib.graph with parameters of type Pair

Modifier and Type	Method	Description
Collection<Pair<L,E>>	CFMPSGraphView.getOutgoingEdges(Pair<L,N> node)
Pair<L,N>	CFMPSGraphView.getTarget(Pair<L,E> edge)

Uses of Pair in net.automatalib.graph.visualization

Methods in net.automatalib.graph.visualization that return types with arguments of type Pair

Modifier and Type	Method	Description
protected Collection<Pair<L,N>>	CFMPSVisualizationHelper.initialNodes()

Methods in net.automatalib.graph.visualization with parameters of type Pair

Modifier and Type	Method	Description
boolean	CFMPSVisualizationHelper.getEdgeProperties(Pair<L,N> src, Pair<L,E> edge, Pair<L,N> tgt, Map<String,String> properties)
boolean	CFMPSVisualizationHelper.getNodeProperties(Pair<L,N> node, Map<String,String> properties)

Uses of Pair in net.automatalib.serialization.dot

Fields in net.automatalib.serialization.dot with type parameters of type Pair

Modifier and Type	Field	Description
static Function<Map<String,String>,Pair<@Nullable String,@Nullable String>>	DOTParsers.DEFAULT_MEALY_EDGE_PARSER	Edge input parser that expects an edge's "label" attribute to be of the form <input>/<property>.

Method parameters in net.automatalib.serialization.dot with type arguments of type Pair

Modifier and Type	Method	Description
static <I,O> DOTInputModelDeserializer<Integer,I,CompactMealy<I,O>>	DOTParsers.mealy(Function<Map<String,String>,Pair<I,O>> edgeParser)	Parser for MealyMachines with custom edge attributes.
static <S,I,O,A extends MutableMealyMachine<S,I,?,O>> DOTInputModelDeserializer<S,I,A>	DOTParsers.mealy(AutomatonCreator<A,I> creator, Function<Map<String,String>,Pair<I,O>> edgeParser)	Parser for MealyMachines with a custom automaton instance and custom edge attributes.
static <S,I,O,A extends MutableMealyMachine<S,I,?,O>> DOTInputModelDeserializer<S,I,A>	DOTParsers.mealy(AutomatonCreator<A,I> creator, Function<Map<String,String>,Pair<I,O>> edgeParser, String initialNodeId)	Parser for MealyMachines with a custom automaton instance, custom edge attributes and a custom label for the initial node.
static <S,I,O,A extends MutableMealyMachine<S,I,?,O>> DOTInputModelDeserializer<S,I,A>	DOTParsers.mealy(AutomatonCreator<A,I> creator, Function<Map<String,String>,Pair<I,O>> edgeParser, String initialNodeId, boolean fakeInitialNodeId)	Parser for MealyMachines with a custom automaton instance, custom edge attributes and a custom label for the initial node and a flag whether the initial nodes are artificial.

Uses of Pair in net.automatalib.serialization.fsm.parser

Methods in net.automatalib.serialization.fsm.parser that return types with arguments of type Pair

Modifier and Type	Method	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.

Uses of Pair in net.automatalib.util.automaton.ads

Methods in net.automatalib.util.automaton.ads that return Pair

Modifier and Type	Method	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)

Uses of Pair in net.automatalib.util.automaton.equivalence

Methods in net.automatalib.util.automaton.equivalence that return types with arguments of type Pair

Modifier and Type	Method	Description
static <AS,I,AT,A extends Automaton<AS,I,AT>,BS,BT,B extends Automaton<BS,I,BT>> Set<Pair<AS,BS>>	Bisimulation.bisimulationEquivalenceRelation(A a, B b, Collection<I> inputs)

Uses of Pair in net.automatalib.util.automaton.procedural

Methods in net.automatalib.util.automaton.procedural that return Pair

Modifier and Type	Method	Description
static <I> Pair<Map<I,Word<I>>,Map<I,Word<I>>>	SPAs.computeAccessAndReturnSequences(SPA<?,I> spa, ProceduralInputAlphabet<I> alphabet, Map<I,Word<I>> terminatingSequences)	Computes for a given SPA a set of access sequences and return sequences using the given alphabet.

Uses of Pair in net.automatalib.util.automaton.transducer

Methods in net.automatalib.util.automaton.transducer with type parameters of type Pair

Modifier and Type	Method	Description
static <I,O1,O2,A extends MutableMealyMachine<?,I,?,Pair<O1,O2>>> A	MealyMachines.combine(MealyMachine<?,I,?,O1> mealy1, MealyMachine<?,I,?,O2> mealy2, Collection<? extends I> inputs, A out)	Constructs the product automaton for two Mealy Machines.

Methods in net.automatalib.util.automaton.transducer that return types with arguments of type Pair

Modifier and Type	Method	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.

Uses of Pair in net.automatalib.util.automaton.vpa

Methods in net.automatalib.util.automaton.vpa that return Pair

Modifier and Type	Method	Description
static <L,I> @Nullable Pair<Word<I>,Word<I>>	OneSEVPAs.findSeparatingWord(OneSEVPA<L,I> sevpa, L init1, L init2, VPAlphabet<I> alphabet)	Finds a separating word for two locations of a SEVPAs, if existent.
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)

Methods in net.automatalib.util.automaton.vpa that return types with arguments of type Pair

Modifier and Type	Method	Description
static <L1,L2,I> OneSEVPA<Pair<L1,L2>,I>	OneSEVPAs.and(OneSEVPA<L1,I> sevpa1, OneSEVPA<L2,I> sevpa2, VPAlphabet<I> alphabet)	Returns a view on the conjunction ("and") of two OneSEVPAs.
static <L1,L2,I> OneSEVPA<Pair<L1,L2>,I>	OneSEVPAs.combine(OneSEVPA<L1,I> sevpa1, OneSEVPA<L2,I> sevpa2, VPAlphabet<I> alphabet, AcceptanceCombiner combiner)	Most general way of combining two OneSEVPAs.
static <L1,L2,I> OneSEVPA<Pair<L1,L2>,I>	OneSEVPAs.equiv(OneSEVPA<L1,I> sevpa1, OneSEVPA<L2,I> sevpa2, VPAlphabet<I> alphabet)	Returns a view on the equivalence ("<=>") of two OneSEVPAs.
static <L,I> Collection<Pair<Word<I>,Word<I>>>	OneSEVPAs.findCharacterizingSet(OneSEVPA<L,I> sevpa, VPAlphabet<I> alphabet)	Computes a characterizing set for the given 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, VPAlphabet<I> alphabet)	Returns a view on the implication ("=>") of two OneSEVPAs.
static <L1,L2,I> OneSEVPA<Pair<L1,L2>,I>	OneSEVPAs.or(OneSEVPA<L1,I> sevpa1, OneSEVPA<L2,I> sevpa2, VPAlphabet<I> alphabet)	Returns a view on the disjunction ("or") of two OneSEVPAs.
static <L1,L2,I> OneSEVPA<Pair<L1,L2>,I>	OneSEVPAs.xor(OneSEVPA<L1,I> sevpa1, OneSEVPA<L2,I> sevpa2, VPAlphabet<I> alphabet)	Returns a view on the exclusive-or ("xor") of two OneSEVPAs.

Methods in net.automatalib.util.automaton.vpa with parameters of type Pair

Modifier and Type	Method	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)

Uses of Pair in net.automatalib.util.ts.acceptor

Methods in net.automatalib.util.ts.acceptor that return types with arguments of type Pair

Modifier and Type	Method	Description
static <S1,S2,I,TS1 extends AcceptorTS<S1,I>,TS2 extends AcceptorTS<S2,I>> AcceptorTS<Pair<S1,S2>,I>	Acceptors.combine(TS1 ts1, TS2 ts2, AcceptanceCombiner combiner)
static <S1,S2,I,TS1 extends DeterministicAcceptorTS<S1,I>,TS2 extends DeterministicAcceptorTS<S2,I>> DeterministicAcceptorTS<Pair<S1,S2>,I>	Acceptors.combine(TS1 ts1, TS2 ts2, AcceptanceCombiner combiner)

Uses of Pair in net.automatalib.util.ts.comp

Methods in net.automatalib.util.ts.comp that return Pair

Modifier and Type	Method	Description
Pair<S1,S2>	DTSComposition.getInitialState()
Pair<S1,S2>	DTSComposition.getSuccessor(Pair<@Nullable T1,@Nullable T2> transition)
Pair<S1,S2>	TSComposition.getSuccessor(Pair<T1,T2> transition)
@Nullable Pair<T1,T2>	DTSComposition.getTransition(Pair<@Nullable S1,@Nullable S2> state, I input)

Methods in net.automatalib.util.ts.comp that return types with arguments of type Pair

Modifier and Type	Method	Description
static <S1,S2,I,T1,T2,TS1 extends TransitionSystem<S1,I,T1>,TS2 extends TransitionSystem<S2,I,T2>> TransitionSystem<Pair<S1,S2>,I,Pair<T1,T2>>	TSCompositions.compose(TS1 ts1, TS2 ts2)
static <S1,S2,I,T1,T2,TS1 extends TransitionSystem<S1,I,T1>,TS2 extends TransitionSystem<S2,I,T2>> TransitionSystem<Pair<S1,S2>,I,Pair<T1,T2>>	TSCompositions.compose(TS1 ts1, TS2 ts2)
static <S1,S2,I,T1,T2,TS1 extends DeterministicTransitionSystem<S1,I,T1>,TS2 extends DeterministicTransitionSystem<S2,I,T2>> DeterministicTransitionSystem<Pair<S1,S2>,I,Pair<T1,T2>>	TSCompositions.compose(TS1 ts1, TS2 ts2)
static <S1,S2,I,T1,T2,TS1 extends DeterministicTransitionSystem<S1,I,T1>,TS2 extends DeterministicTransitionSystem<S2,I,T2>> DeterministicTransitionSystem<Pair<S1,S2>,I,Pair<T1,T2>>	TSCompositions.compose(TS1 ts1, TS2 ts2)
Set<Pair<S1,S2>>	TSComposition.getInitialStates()
Collection<Pair<T1,T2>>	TSComposition.getTransitions(Pair<S1,S2> state, I input)

Methods in net.automatalib.util.ts.comp with parameters of type Pair

Modifier and Type	Method	Description
Pair<S1,S2>	DTSComposition.getSuccessor(Pair<@Nullable T1,@Nullable T2> transition)
Pair<S1,S2>	TSComposition.getSuccessor(Pair<T1,T2> transition)
@Nullable Pair<T1,T2>	DTSComposition.getTransition(Pair<@Nullable S1,@Nullable S2> state, I input)
Collection<Pair<T1,T2>>	TSComposition.getTransitions(Pair<S1,S2> state, I input)

Uses of Pair in net.automatalib.util.ts.modal

Methods in net.automatalib.util.ts.modal that return Pair

Modifier and Type	Method	Description
static <A extends MutableModalTransitionSystem<S,I,?,?>,S,S0,S1,I> Pair<Map<Pair<S0,S1>,S>,A>	MTSs.composeWithMapping(ModalTransitionSystem<S0,I,?,?> mts0, ModalTransitionSystem<S1,I,?,?> mts1, AutomatonCreator<A,I> creator)
static <A extends MutableModalTransitionSystem<S,I,T,?>,S,S0,S1,I,T> Pair<Map<Pair<S0,S1>,S>,A>	MTSs.conjunctionWithMapping(ModalTransitionSystem<S0,I,?,?> mts0, ModalTransitionSystem<S1,I,?,?> mts1, AutomatonCreator<A,I> creator)

Methods in net.automatalib.util.ts.modal that return types with arguments of type Pair

Modifier and Type	Method	Description
static <A extends MutableModalTransitionSystem<S,I,?,?>,S,S0,S1,I> Pair<Map<Pair<S0,S1>,S>,A>	MTSs.composeWithMapping(ModalTransitionSystem<S0,I,?,?> mts0, ModalTransitionSystem<S1,I,?,?> mts1, AutomatonCreator<A,I> creator)
static <A extends MutableModalTransitionSystem<S,I,T,?>,S,S0,S1,I,T> Pair<Map<Pair<S0,S1>,S>,A>	MTSs.conjunctionWithMapping(ModalTransitionSystem<S0,I,?,?> mts0, ModalTransitionSystem<S1,I,?,?> mts1, AutomatonCreator<A,I> creator)
static <AS,BS,I> Set<Pair<AS,BS>>	ModalRefinement.refinementRelation(ModalTransitionSystem<AS,I,?,?> implementation, ModalTransitionSystem<BS,I,?,?> specification, Collection<I> inputs)

Uses of Pair in net.automatalib.util.ts.transducer

Methods in net.automatalib.util.ts.transducer that return types with arguments of type Pair

Modifier and Type	Method	Description
static <S1,S2,I,T1,T2,O1,O2,TS1 extends MealyTransitionSystem<S1,I,T1,O1>,TS2 extends MealyTransitionSystem<S2,I,T2,O2>> MealyTransitionSystem<Pair<S1,S2>,I,Pair<T1,T2>,Pair<O1,O2>>	Transducers.combine(TS1 ts1, TS2 ts2)
static <S1,S2,I,T1,T2,O1,O2,TS1 extends MealyTransitionSystem<S1,I,T1,O1>,TS2 extends MealyTransitionSystem<S2,I,T2,O2>> MealyTransitionSystem<Pair<S1,S2>,I,Pair<T1,T2>,Pair<O1,O2>>	Transducers.combine(TS1 ts1, TS2 ts2)
static <S1,S2,I,T1,T2,O1,O2,TS1 extends MealyTransitionSystem<S1,I,T1,O1>,TS2 extends MealyTransitionSystem<S2,I,T2,O2>> MealyTransitionSystem<Pair<S1,S2>,I,Pair<T1,T2>,Pair<O1,O2>>	Transducers.combine(TS1 ts1, TS2 ts2)

Uses of Pair in net.automatalib.visualization.dot

Method parameters in net.automatalib.visualization.dot with type arguments of type Pair

Modifier and Type	Method	Description
static void	DOT.renderDOTFiles(List<Pair<String,File>> files, boolean modal)	Renders multiple (named) GraphVIZ descriptions from Files and displays them in a Swing window.
static void	DOT.renderDOTReaders(List<Pair<String,Reader>> readers, boolean modal)	Renders multiple (named) GraphVIZ descriptions from Readers and displays them in a Swing window.
static void	DOT.renderDOTStrings(List<Pair<String,String>> dotTexts, boolean modal)	Renders multiple (named) GraphVIZ descriptions and displays them in a Swing window.