diff options
| author | Stefan Radomski <sradomski@mintwerk.de> | 2015-12-04 08:00:18 (GMT) |
|---|---|---|
| committer | Stefan Radomski <sradomski@mintwerk.de> | 2015-12-04 08:00:18 (GMT) |
| commit | b8ba0e7c31f397a66f9d509ff20a85b33619475a (patch) | |
| tree | 9a5adb4f891cdc29eb80f597510e0cef8ee0a47f /src/uscxml/transform/ChartToFSM.h | |
| parent | 57ba362eae6e8209cf560555fd4cc4bb76dbe2a1 (diff) | |
| download | uscxml-b8ba0e7c31f397a66f9d509ff20a85b33619475a.zip uscxml-b8ba0e7c31f397a66f9d509ff20a85b33619475a.tar.gz uscxml-b8ba0e7c31f397a66f9d509ff20a85b33619475a.tar.bz2 | |
All changes up to my dissertation
Diffstat (limited to 'src/uscxml/transform/ChartToFSM.h')
| -rw-r--r-- | src/uscxml/transform/ChartToFSM.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/uscxml/transform/ChartToFSM.h b/src/uscxml/transform/ChartToFSM.h index 64d1a0c..f7e00c5 100644 --- a/src/uscxml/transform/ChartToFSM.h +++ b/src/uscxml/transform/ChartToFSM.h @@ -242,6 +242,10 @@ public: virtual ~ChartToFSM(); void indexTransitions(); + void annotateDomain(); + void annotateExitSet(); + void annotateEntrySet(); + void annotateConflicts(); Arabica::DOM::Document<std::string> getDocument() const; // overwrite to return flat FSM protected: |