public class ManeuverGraphFactory extends java.lang.Object implements GraphElementFactory<ManeuverNode,ManeuverTransition>
| Constructor and Description |
|---|
ManeuverGraphFactory(MissionType mt,
PlanType plan) |
| Modifier and Type | Method and Description |
|---|---|
ManeuverTransition |
createEdge() |
Maneuver |
createManeuver(java.lang.String maneuverType) |
ManeuverNode |
createNode() |
java.lang.String[] |
getManeuverNames() |
public ManeuverGraphFactory(MissionType mt, PlanType plan)
public ManeuverTransition createEdge()
createEdge in interface GraphElementFactory<ManeuverNode,ManeuverTransition>public ManeuverNode createNode()
createNode in interface GraphElementFactory<ManeuverNode,ManeuverTransition>public java.lang.String[] getManeuverNames()
public Maneuver createManeuver(java.lang.String maneuverType)
Copyright © 2004-2020 FEUP-LSTS and Neptus developers. All Rights Reserved.