|
TuringSim
C++ framework to simulate abstract computing models
|
The namespace of everything about m-configurations. More...
Classes | |
| class | MConfiguration |
| The base class for m-configurations. More... | |
| class | MConfigurationMap |
| An optimized map where keys are m-configurations. More... | |
| class | MConfigurationParser |
Parse a m-configuration written as a std::string into a MConfiguration<std::string>. More... | |
| class | MConfigurationParserBadInitializationException |
| Exception thrown when the special characters of the parser are not consistent. More... | |
| class | MConfigurationParserSyntaxErrorException |
| Exception launched when we try to parse a string with a syntax error as a MConfiguration<std::string>. More... | |
| class | NoAlphaEquivalenceException |
| Exception launched when we try to unify two incompatibles MConfiguration. More... | |
| class | NoUnificationException |
| Exception launched when we try to unify two incompatibles MConfiguration. More... | |
| class | PureVariableException |
| Exception thrown when trying to add a pure variable in a MConfigurationMap. More... | |
Functions | |
| template<typename NodeType > | |
| MConfiguration (const NodeType &) -> MConfiguration< NodeType > | |
The namespace of everything about m-configurations.
| TuringSim::State::MConfiguration::MConfiguration | ( | const NodeType & | ) | -> MConfiguration< NodeType > |