Package | Description |
---|---|
net.automatalib.ts.comp | |
net.automatalib.util.ts.acceptors |
Modifier and Type | Method and Description |
---|---|
IPair<S1,S2> |
DTSComposition.getInitialState() |
IPair<S1,S2> |
TSComposition.getSuccessor(IPair<T1,T2> transition) |
IPair<S1,S2> |
DTSComposition.getSuccessor(IPair<T1,T2> transition) |
IPair<T1,T2> |
DTSComposition.getTransition(IPair<S1,S2> state,
I input) |
Modifier and Type | Method and Description |
---|---|
Set<? extends IPair<S1,S2>> |
TSComposition.getInitialStates() |
Collection<IPair<T1,T2>> |
TSComposition.getTransitions(IPair<S1,S2> state,
I input) |
Modifier and Type | Method and Description |
---|---|
IPair<S1,S2> |
TSComposition.getSuccessor(IPair<T1,T2> transition) |
IPair<S1,S2> |
DTSComposition.getSuccessor(IPair<T1,T2> transition) |
IPair<T1,T2> |
DTSComposition.getTransition(IPair<S1,S2> state,
I input) |
Collection<IPair<T1,T2>> |
TSComposition.getTransitions(IPair<S1,S2> state,
I input) |
Modifier and Type | Method and Description |
---|---|
boolean |
DetAcceptorComposition.isAccepting(IPair<S1,S2> state) |
Copyright © 2015. All rights reserved.