TuringSim
C++ framework to simulate abstract computing models
Classes | Functions
TuringSim::State::MConfiguration Namespace Reference

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 >
 

Detailed Description

The namespace of everything about m-configurations.

Function Documentation

◆ MConfiguration()

template<typename NodeType >
TuringSim::State::MConfiguration::MConfiguration ( const NodeType &  ) -> MConfiguration< NodeType >
Returns
Deduction guide. Waiting for C++20.