|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use State | |
---|---|
org.mindswap.pellet.utils.fsm |
Uses of State in org.mindswap.pellet.utils.fsm |
---|
Methods in org.mindswap.pellet.utils.fsm that return State | |
---|---|
State<T> |
TransitionGraph.getFinalState()
|
State<T> |
TransitionGraph.getInitialState()
|
State<T> |
Transition.getTo()
|
State<T> |
State.move(T symbol)
Returns a state reached from this state with the given symbol. |
State<T> |
TransitionGraph.newState()
|
Methods in org.mindswap.pellet.utils.fsm that return types with arguments of type State | |
---|---|
java.util.Set<State<T>> |
TransitionGraph.epsilonClosure(java.util.Set<State<T>> stateSet)
|
java.util.Set<State<T>> |
TransitionGraph.epsilonClosure(State<T> s,
java.util.Set<State<T>> result)
|
java.util.List<Pair<State<T>,State<T>>> |
TransitionGraph.findTransitions(T transition)
|
java.util.List<Pair<State<T>,State<T>>> |
TransitionGraph.findTransitions(T transition)
|
java.util.Set<State<T>> |
TransitionGraph.getAllStates()
|
java.util.Set<State<T>> |
TransitionGraph.getFinalStates()
|
java.util.Set<State<T>> |
TransitionGraph.move(java.util.Set<State<T>> stateSet,
T c)
|
Methods in org.mindswap.pellet.utils.fsm with parameters of type State | |
---|---|
void |
TransitionGraph.addFinalState(State<T> s)
|
void |
State.addTransition(State<T> s)
Create an epsilon transition from this state to the given state |
void |
TransitionGraph.addTransition(State<T> begin,
State<T> end)
|
void |
TransitionGraph.addTransition(State<T> begin,
State<T> end)
|
void |
TransitionGraph.addTransition(State<T> begin,
T transition,
State<T> end)
|
void |
TransitionGraph.addTransition(State<T> begin,
T transition,
State<T> end)
|
void |
State.addTransition(T symbol,
State<T> s)
Create a transition from this state to the given state on given symbol |
java.util.Set<State<T>> |
TransitionGraph.epsilonClosure(State<T> s,
java.util.Set<State<T>> result)
|
TransitionGraph<T> |
TransitionGraph.insert(TransitionGraph<T> tg,
State<T> i,
State<T> f)
|
TransitionGraph<T> |
TransitionGraph.insert(TransitionGraph<T> tg,
State<T> i,
State<T> f)
|
boolean |
TransitionGraph.isFinal(State<T> st)
|
boolean |
TransitionGraph.isInitial(State<T> st)
|
void |
TransitionGraph.setInitialState(State<T> s)
|
void |
Transition.setTo(State<T> to)
|
Method parameters in org.mindswap.pellet.utils.fsm with type arguments of type State | |
---|---|
java.util.Set<State<T>> |
TransitionGraph.epsilonClosure(java.util.Set<State<T>> stateSet)
|
java.util.Set<State<T>> |
TransitionGraph.epsilonClosure(State<T> s,
java.util.Set<State<T>> result)
|
boolean |
TransitionGraph.isAnyFinal(java.util.Set<State<T>> ss)
|
java.util.Set<State<T>> |
TransitionGraph.move(java.util.Set<State<T>> stateSet,
T c)
|
void |
TransitionGraph.setPartition(java.util.Set<State<T>> stateSet,
int num,
java.util.Map<State<T>,java.lang.Integer> partitions)
|
void |
TransitionGraph.setPartition(java.util.Set<State<T>> stateSet,
int num,
java.util.Map<State<T>,java.lang.Integer> partitions)
|
Constructors in org.mindswap.pellet.utils.fsm with parameters of type State | |
---|---|
Transition(State<T> t)
/* add edge with epsilon edge |
|
Transition(T name,
State<T> to)
add edge for name from current state to state t on c |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |