Package | Description |
---|---|
net.automatalib.commons.util | |
net.automatalib.ts.comp | |
net.automatalib.util.ts.acceptors |
Modifier and Type | Method and Description |
---|---|
Pair<T1,Pair<T2,T3>> |
Triple.asPair1()
Deprecated.
|
Pair<Pair<T1,T2>,T3> |
Triple.asPair2()
Deprecated.
|
static <T1,T2> Pair<T1,T2> |
Pair.make(T1 first,
T2 second)
Deprecated.
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()
Deprecated.
|
Pair<Pair<T1,T2>,T3> |
Triple.asPair2()
Deprecated.
|
Modifier and Type | Method and Description |
---|---|
static <T1,T2,T3> Triple<T1,T2,T3> |
Triple.fromPair1(Pair<T1,Pair<T2,T3>> pair)
Deprecated.
|
static <T1,T2,T3> Triple<T1,T2,T3> |
Triple.fromPair2(Pair<Pair<T1,T2>,T3> pair)
Deprecated.
|
Modifier and Type | Method and Description |
---|---|
static <T1,T2,T3> Triple<T1,T2,T3> |
Triple.fromPair1(Pair<T1,Pair<T2,T3>> pair)
Deprecated.
|
static <T1,T2,T3> Triple<T1,T2,T3> |
Triple.fromPair2(Pair<Pair<T1,T2>,T3> pair)
Deprecated.
|
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 |
---|---|
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.