|
||||||||||
| 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 |
State.dMove(java.lang.Object c)
|
State |
TransitionGraph.getFinalState()
|
State |
TransitionGraph.getInitialState()
|
State |
Transition.getTo()
|
State |
TransitionGraph.newState()
|
| Methods in org.mindswap.pellet.utils.fsm that return types with arguments of type State | |
|---|---|
java.util.Set<State> |
TransitionGraph.epsilonClosure(java.util.Set<State> SS)
|
java.util.Set<State> |
TransitionGraph.epsilonClosure(State s,
java.util.Set<State> result)
|
java.util.List<Pair<State,State>> |
TransitionGraph.findTransitions(java.lang.Object transition)
|
java.util.List<Pair<State,State>> |
TransitionGraph.findTransitions(java.lang.Object transition)
|
java.util.Set<State> |
TransitionGraph.getAllStates()
|
java.util.Set<State> |
TransitionGraph.getFinalStates()
|
java.util.Set<State> |
TransitionGraph.move(java.util.Set<State> SS,
java.lang.Object c)
|
| Methods in org.mindswap.pellet.utils.fsm with parameters of type State | |
|---|---|
void |
TransitionGraph.addFinalState(State s)
|
void |
State.addTransition(java.lang.Object transition,
State s)
|
void |
State.addTransition(State s)
|
void |
TransitionGraph.addTransition(State begin,
java.lang.Object transition,
State end)
|
void |
TransitionGraph.addTransition(State begin,
State end)
|
java.util.Set<State> |
TransitionGraph.epsilonClosure(State s,
java.util.Set<State> result)
|
TransitionGraph |
TransitionGraph.insert(TransitionGraph t,
State i,
State f)
|
boolean |
TransitionGraph.isFinal(State st)
|
void |
TransitionGraph.setInitialState(State s)
|
void |
Transition.setTo(State to)
|
| Method parameters in org.mindswap.pellet.utils.fsm with type arguments of type State | |
|---|---|
java.util.Set<State> |
TransitionGraph.epsilonClosure(java.util.Set<State> SS)
|
java.util.Set<State> |
TransitionGraph.epsilonClosure(State s,
java.util.Set<State> result)
|
boolean |
TransitionGraph.isFinal(java.util.Set<State> ss)
|
java.util.Set<State> |
TransitionGraph.move(java.util.Set<State> SS,
java.lang.Object c)
|
void |
TransitionGraph.setPartition(java.util.Set<State> stateSet,
int num)
|
| Constructors in org.mindswap.pellet.utils.fsm with parameters of type State | |
|---|---|
Transition(java.lang.Object name,
State to)
add edge for name from current state to state t on c |
|
Transition(State t)
/* add edge with epsilon edge |
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||