Modifier and Type | Method and Description |
---|---|
Pair<I,Void> |
AbstractCompactSimpleDet.getEdgeProperty(Pair<I,Integer> edge) |
Modifier and Type | Method and Description |
---|---|
GraphDOTHelper<Integer,Pair<I,Integer>> |
AbstractCompactSimpleDet.getGraphDOTHelper() |
Collection<Pair<I,Integer>> |
AbstractCompactSimpleDet.getOutgoingEdges(Integer node) |
Collection<Pair<I,T>> |
AbstractCompactDeterministic.getOutgoingEdges(Integer node) |
Modifier and Type | Method and Description |
---|---|
Pair<I,Void> |
AbstractCompactSimpleDet.getEdgeProperty(Pair<I,Integer> edge) |
Integer |
AbstractCompactSimpleDet.getTarget(Pair<I,Integer> edge) |
Integer |
AbstractCompactDeterministic.getTarget(Pair<I,T> edge) |
Modifier and Type | Method and Description |
---|---|
Pair<I,TP> |
FastMutableNondet.getEdgeProperty(Pair<I,T> edge) |
Pair<I,TP> |
FastMutableDet.getEdgeProperty(Pair<I,T> edge) |
Modifier and Type | Method and Description |
---|---|
Collection<Pair<I,T>> |
FastMutableNondet.getOutgoingEdges(S node) |
Collection<Pair<I,T>> |
FastMutableDet.getOutgoingEdges(S node) |
Modifier and Type | Method and Description |
---|---|
Pair<I,TP> |
FastMutableNondet.getEdgeProperty(Pair<I,T> edge) |
Pair<I,TP> |
FastMutableDet.getEdgeProperty(Pair<I,T> edge) |
S |
FastMutableNondet.getTarget(Pair<I,T> edge) |
S |
FastMutableDet.getTarget(Pair<I,T> edge) |
Modifier and Type | Method and Description |
---|---|
GraphDOTHelper<S,Pair<I,T>> |
DOTPlottableAutomaton.getDOTHelper() |
Modifier and Type | Method and Description |
---|---|
boolean |
DefaultDOTHelperAutomaton.getEdgeProperties(S src,
Pair<I,T> edge,
S tgt,
Map<String,String> properties) |
boolean |
DOTHelperMealy.getEdgeProperties(S src,
Pair<I,T> edge,
S tgt,
Map<String,String> properties) |
Modifier and Type | Method and Description |
---|---|
GraphDOTHelper<FastNFAState,Pair<I,FastNFAState>> |
FastNFA.getDOTHelper() |
Modifier and Type | Method and Description |
---|---|
GraphDOTHelper<Integer,Pair<I,Integer>> |
CompactDFA.getDOTHelper() |
Modifier and Type | Method and Description |
---|---|
static <S,I,T,SP,TP> |
AbstractAutomatonGraph.getEdgeProperties(UniversalAutomaton<S,I,T,SP,TP> $this,
Pair<I,T> edge) |
Pair<I,TP> |
AbstractAutomatonGraph.getEdgeProperty(Pair<I,T> edge) |
Modifier and Type | Method and Description |
---|---|
static <S,I,T> Collection<Pair<I,T>> |
AbstractAutomatonGraph.createOutgoingEdges(Automaton<S,I,T> automaton,
Collection<? extends I> inputs,
S state) |
static <S,I,T> Collection<Pair<I,T>> |
AbstractAutomatonGraph.getOutgoingEdges(FiniteAlphabetAutomaton<S,I,T> $this,
S node) |
Collection<Pair<I,T>> |
AbstractAutomatonGraph.getOutgoingEdges(S node) |
Modifier and Type | Method and Description |
---|---|
static <S,I,T,SP,TP> |
AbstractAutomatonGraph.getEdgeProperties(UniversalAutomaton<S,I,T,SP,TP> $this,
Pair<I,T> edge) |
Pair<I,TP> |
AbstractAutomatonGraph.getEdgeProperty(Pair<I,T> edge) |
static <S,I,T> S |
AbstractAutomatonGraph.getTarget(Automaton<S,I,T> $this,
Pair<I,T> edge) |
S |
AbstractAutomatonGraph.getTarget(Pair<I,T> edge) |
Modifier and Type | Method and Description |
---|---|
Pair<Float,O> |
FastProbMealy.getTransitionProperty(ProbMealyTransition<FastProbMealyState<O>,O> transition) |
Modifier and Type | Method and Description |
---|---|
GraphDOTHelper<FastMealyState<O>,Pair<I,MealyTransition<FastMealyState<O>,O>>> |
FastMealy.getDOTHelper() |
Modifier and Type | Method and Description |
---|---|
ProbMealyTransition<FastProbMealyState<O>,O> |
FastProbMealy.createTransition(FastProbMealyState<O> successor,
Pair<Float,O> properties) |
void |
FastProbMealy.setTransitionProperty(ProbMealyTransition<FastProbMealyState<O>,O> transition,
Pair<Float,O> property) |
Modifier and Type | Method and Description |
---|---|
GraphDOTHelper<Integer,Pair<I,CompactMealyTransition<O>>> |
CompactMealy.getDOTHelper() |
Modifier and Type | Method and Description |
---|---|
Pair<T1,Pair<T2,T3>> |
Triple.asPair1() |
Pair<Pair<T1,T2>,T3> |
Triple.asPair2() |
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 |
---|---|
Pair<T1,Pair<T2,T3>> |
Triple.asPair1() |
Pair<Pair<T1,T2>,T3> |
Triple.asPair2() |
Modifier and Type | Method and Description |
---|---|
static <T1,T2,T3> Triple<T1,T2,T3> |
Triple.fromPair1(Pair<T1,Pair<T2,T3>> pair) |
static <T1,T2,T3> Triple<T1,T2,T3> |
Triple.fromPair2(Pair<Pair<T1,T2>,T3> pair) |
Modifier and Type | Method and Description |
---|---|
static <T1,T2,T3> Triple<T1,T2,T3> |
Triple.fromPair1(Pair<T1,Pair<T2,T3>> pair) |
static <T1,T2,T3> Triple<T1,T2,T3> |
Triple.fromPair2(Pair<Pair<T1,T2>,T3> pair) |
Modifier and Type | Method and Description |
---|---|
Pair<I,O> |
IncrementalMealyBuilder.getEdgeProperty(net.automatalib.incremental.mealy.TransitionRecord edge) |
Modifier and Type | Method and Description |
---|---|
Pair<S1,S2> |
DTSComposition.getInitialState() |
Pair<S1,S2> |
TSComposition.getSuccessor(Pair<T1,T2> transition) |
Pair<S1,S2> |
DTSComposition.getSuccessor(Pair<T1,T2> transition) |
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> |
TSComposition.getSuccessor(Pair<T1,T2> transition) |
Pair<S1,S2> |
DTSComposition.getSuccessor(Pair<T1,T2> transition) |
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> Graph<S,Pair<I,T>> |
Automata.asGraph(Automaton<S,I,T> automaton,
Collection<? extends I> inputs) |
static <S,I,T,SP,TP> |
Automata.asUniversalGraph(UniversalAutomaton<S,I,T,SP,TP> automaton,
Collection<? extends I> inputs) |
static <S,I,T,SP,TP> |
Automata.asUniversalGraph(UniversalAutomaton<S,I,T,SP,TP> automaton,
Collection<? extends I> inputs) |
Modifier and Type | Method and Description |
---|---|
Pair<I,TP> |
UniversalAutomatonAsGraph.getEdgeProperty(Pair<I,T> edge) |
Modifier and Type | Method and Description |
---|---|
Collection<Pair<I,T>> |
AutomatonAsGraph.getOutgoingEdges(S node) |
static <S,I,T> Collection<Pair<I,T>> |
AGHelper.outgoingEdges(Automaton<S,I,T> aut,
S state,
Collection<? extends I> inputAlphabet) |
Modifier and Type | Method and Description |
---|---|
Pair<I,TP> |
UniversalAutomatonAsGraph.getEdgeProperty(Pair<I,T> edge) |
S |
AutomatonAsGraph.getTarget(Pair<I,T> edge) |
Modifier and Type | Method and Description |
---|---|
static <S,I,T> void |
GraphDOT.write(Automaton<S,I,T> automaton,
GraphDOTHelper<S,? super Pair<I,T>> helper,
Collection<? extends I> inputAlphabet,
Appendable a,
GraphDOTHelper<S,? super Pair<I,T>>... additionalHelpers)
Renders an
Automaton in the GraphVIZ DOT format. |
Modifier and Type | Method and Description |
---|---|
Boolean |
DetAcceptorComposition.getStateProperty(Pair<S1,S2> state) |
Void |
DetAcceptorComposition.getTransitionProperty(Pair<S1,S2> transition) |
boolean |
DetAcceptorComposition.isAccepting(Pair<S1,S2> state) |
Copyright © 2015. All Rights Reserved.