public class Trans extends Object
| Modifier and Type | Class and Description |
|---|---|
static class |
Trans.TransAnchorType |
| Modifier | Constructor and Description |
|---|---|
protected |
Trans(String name_p,
State targetState_p) |
| Modifier and Type | Method and Description |
|---|---|
String |
getName() |
String |
getUid() |
Trans |
setTargetState(State targetState_p)
change target state
|
Trans |
setTraverseTimes(int traverseTimes_p)
sets number of times the transition must be traversed.
|
Trans |
setWeight(int weight_p)
assign transition weight.
|
public Trans setTargetState(State targetState_p)
targetState_p - target state objectpublic String getUid()
public String getName()
public Trans setWeight(int weight_p)
weight_p - positive integerpublic Trans setTraverseTimes(int traverseTimes_p)
traverseTimes_p - positive integerCopyright © 2020. All rights reserved.