Package | Description |
---|---|
pt.lsts.imc |
Modifier and Type | Method and Description |
---|---|
static PlanTransition |
PlanTransition.clone(IMCMessage msg) |
static PlanTransition |
PlanTransition.create(java.lang.Object... values) |
PlanTransition |
PlanTransition.setActions(java.util.Collection<IMCMessage> actions) |
PlanTransition |
PlanTransition.setConditions(java.lang.String conditions) |
PlanTransition |
PlanTransition.setDestMan(java.lang.String dest_man) |
PlanTransition |
PlanTransition.setSourceMan(java.lang.String source_man) |
Modifier and Type | Method and Description |
---|---|
java.util.Vector<PlanTransition> |
PlanSpecification.getTransitions() |
Modifier and Type | Method and Description |
---|---|
PlanSpecification |
PlanSpecification.setTransitions(java.util.Collection<PlanTransition> transitions) |
Constructor and Description |
---|
PlanSpecification(java.lang.String plan_id,
java.lang.String description,
java.lang.String vnamespace,
java.util.Collection<PlanVariable> variables,
java.lang.String start_man_id,
java.util.Collection<PlanManeuver> maneuvers,
java.util.Collection<PlanTransition> transitions,
java.util.Collection<IMCMessage> start_actions,
java.util.Collection<IMCMessage> end_actions) |