| Package | Description |
|---|---|
| org.mindswap.pellet | |
| org.mindswap.pellet.utils.fsm |
| Modifier and Type | Method and Description |
|---|---|
TransitionGraph<Role> |
Role.getFSM() |
| Modifier and Type | Method and Description |
|---|---|
void |
Role.setFSM(TransitionGraph<Role> tg) |
| Modifier and Type | Method and Description |
|---|---|
TransitionGraph<T> |
TransitionGraph.choice(TransitionGraph<T> t) |
TransitionGraph<T> |
TransitionGraph.closure() |
TransitionGraph<T> |
TransitionGraph.concat(TransitionGraph<T> t) |
TransitionGraph<T> |
TransitionGraph.determinize() |
TransitionGraph<T> |
TransitionGraph.epsilon() |
TransitionGraph<T> |
TransitionGraph.insert(TransitionGraph<T> tg,
State<T> i,
State<T> f) |
TransitionGraph<T> |
TransitionGraph.minimize() |
TransitionGraph<T> |
TransitionGraph.renumber() |
static <T> TransitionGraph<T> |
TransitionGraph.symbol(T transition) |
| Modifier and Type | Method and Description |
|---|---|
TransitionGraph<T> |
TransitionGraph.choice(TransitionGraph<T> t) |
TransitionGraph<T> |
TransitionGraph.concat(TransitionGraph<T> t) |
TransitionGraph<T> |
TransitionGraph.insert(TransitionGraph<T> tg,
State<T> i,
State<T> f) |
Copyright © 2019. All rights reserved.