80 boost::property_tree::ptree::path_type formatKey(
const std::string key);
82 std::string getFirstTargetState(
Transition* t);
83 std::string getFirstTargetState(std::list<Transition*>& transitions);
85 void addActivities(std::list<Activity*>& activities, boost::property_tree::ptree& tree);
86 void addActions(std::list<Action*>& actions, boost::property_tree::ptree& tree);
87 void addEntryActions(std::list<Action*>& actions, boost::property_tree::ptree& tree);
88 void addExitActions(std::list<Action*>& actions, boost::property_tree::ptree& tree);
89 void addTranistion(
Transition* t, boost::property_tree::ptree& tree);
90 void addTranistions(std::list<Transition*>& transitions, boost::property_tree::ptree& tree);
91 void addInitialTranistions(std::list<Transition*>& transitions,
92 boost::property_tree::ptree& tree);
93 void addHistoryState(
StateHistory* s, boost::property_tree::ptree& tree);
94 void addFinalState(
State* s, boost::property_tree::ptree& tree);
95 void addParallelState(
State* s, boost::property_tree::ptree& tree);
96 void addState(
State* s, boost::property_tree::ptree& tree);
ExecutableContent header.
Definition StateHistory.h:57