|
std::streampos | Diades::Automata::Experimental::nextNoWhiteSpaceCharacter (std::istream &stream, bool &ok) |
| return the stream position just before the first character that is a white space (not such that std::isspace is true) More...
|
|
bool | Diades::Automata::Experimental::pruneCommentsBlock (std::istream &stream, bool &ok) |
| analyze the stream and look for the end of a comment block More...
|
|
bool | Diades::Automata::Experimental::pruneComments (std::istream &stream, bool &ok) |
| read the stream and ignore the next c-style/cpp style comments More...
|
|
bool | Diades::Automata::Experimental::checkSystemIdentifier (std::string &tsName, std::string::size_type &semiColonIndex) |
| check that tsName is the name of a transition_system More...
|
|
std::istream & | Diades::Automata::Experimental::tsFileTransitionLabel (std::istream &stream, std::unordered_map< std::string, std::string > &events, std::string &fullEventLabel, bool &ok) |
| Read the transition label in a ts-format file. More...
|
|
void | Diades::Automata::Experimental::tsExtractTargetState (const std::string &rawTargetState, std::string &targetState, std::string::size_type &semiColonIndex) |
| extract the target state for the raw target state More...
|
|
std::istream & | Diades::Automata::Experimental::tsFileHeader (std::istream &stream, std::string &tsName, bool &ok) |
| parse the Ts-format file header More...
|
|
std::istream & | Diades::Automata::Experimental::tsFileTransitions (std::istream &stream, ManagedTsFsms &fsms, bool &ok, TsConversionMode mode) |
| Read the transitions of a Ts-format stream. More...
|
|
std::istream & | Diades::Automata::Experimental::tsFileStates (std::istream &stream, ManagedTsFsms &fsms, bool &ok) |
|
bool | Diades::Automata::Experimental::fromTsFile (std::istream &stream, ManagedTsFsms &fsms, TsConversionMode mode) |
| Load a Ts file as a DdAutFsm. More...
|
|
std::string | Diades::Automata::Experimental::tsPrettyEvent (const std::string &tsEvent) |
|
- Author
- Yannick Pencolé (ypenc.nosp@m.ole@.nosp@m.laas..nosp@m.fr)
- Date
- 10 February 2020, 21:50
Definition in file TsFile.hh.