| AlphaRelation typedef | TuringSim::State::MConfiguration::MConfiguration< NodeType > | |
| AlphaRewriting typedef | TuringSim::State::MConfiguration::MConfiguration< NodeType > | |
| applySubstitution(std::shared_ptr< const MConfiguration< NodeType >> pattern, const Unification &subs) | TuringSim::State::MConfiguration::MConfiguration< NodeType > | static |
| applySubstitution(std::shared_ptr< const MConfiguration< NodeType >> pattern, const Unification &subs, const std::shared_ptr< const MConfiguration< NodeType >> &def) | TuringSim::State::MConfiguration::MConfiguration< NodeType > | static |
| args | TuringSim::State::MConfiguration::MConfiguration< NodeType > | protected |
| compare(const MConfiguration< NodeType > &other) const | TuringSim::State::MConfiguration::MConfiguration< NodeType > | |
| debug() const | TuringSim::State::MConfiguration::MConfiguration< NodeType > | |
| debug(const Unification &unification) | TuringSim::State::MConfiguration::MConfiguration< NodeType > | static |
| debug(const AlphaRewriting &rewriting) | TuringSim::State::MConfiguration::MConfiguration< NodeType > | static |
| debug(const AlphaRelation &relation) | TuringSim::State::MConfiguration::MConfiguration< NodeType > | static |
| getArg(size_t) const | TuringSim::State::MConfiguration::MConfiguration< NodeType > | |
| getArity() const | TuringSim::State::MConfiguration::MConfiguration< NodeType > | |
| getNode() const | TuringSim::State::MConfiguration::MConfiguration< NodeType > | |
| is_pattern | TuringSim::State::MConfiguration::MConfiguration< NodeType > | protected |
| isAlphaEquivalent(const std::shared_ptr< const MConfiguration< NodeType >> &other) const | TuringSim::State::MConfiguration::MConfiguration< NodeType > | |
| isAlphaEquivalent(const std::shared_ptr< const MConfiguration< NodeType >> &other, AlphaRewriting &direct, AlphaRewriting &back) const | TuringSim::State::MConfiguration::MConfiguration< NodeType > | |
| isLeaf() const | TuringSim::State::MConfiguration::MConfiguration< NodeType > | |
| isMFunction() const | TuringSim::State::MConfiguration::MConfiguration< NodeType > | |
| isPattern() const | TuringSim::State::MConfiguration::MConfiguration< NodeType > | |
| isVar | TuringSim::State::MConfiguration::MConfiguration< NodeType > | protected |
| isVariable() const | TuringSim::State::MConfiguration::MConfiguration< NodeType > | |
| match(const StateType &state) const noexcept override final | TuringSim::State::MConfiguration::MConfiguration< NodeType > | |
| StatePattern< std::shared_ptr< const MConfiguration< NodeType > >, std::map< NodeType, std::shared_ptr< const MConfiguration< NodeType > > > >::match(const StateType &state) const noexcept=0 | TuringSim::State::StatePattern< std::shared_ptr< const MConfiguration< NodeType > >, std::map< NodeType, std::shared_ptr< const MConfiguration< NodeType > > > > | pure virtual |
| MatcherType typedef | TuringSim::State::MConfiguration::MConfiguration< NodeType > | |
| MConfiguration(const NodeType &leaf) | TuringSim::State::MConfiguration::MConfiguration< NodeType > | |
| MConfiguration(const NodeType &leaf, bool isVar) | TuringSim::State::MConfiguration::MConfiguration< NodeType > | |
| MConfiguration(const NodeType &node, const std::vector< MConfiguration< NodeType >> &subTrees) | TuringSim::State::MConfiguration::MConfiguration< NodeType > | |
| MConfiguration(const NodeType &node, std::vector< MConfiguration< NodeType >> &&subTrees) | TuringSim::State::MConfiguration::MConfiguration< NodeType > | |
| MConfiguration(const NodeType &node, const std::vector< std::shared_ptr< const MConfiguration< NodeType >>> &subTrees) | TuringSim::State::MConfiguration::MConfiguration< NodeType > | |
| MConfiguration(const NodeType &node, std::vector< std::shared_ptr< const MConfiguration< NodeType >>> &&subTrees) | TuringSim::State::MConfiguration::MConfiguration< NodeType > | |
| MConfiguration(const MConfiguration< NodeType > &other) | TuringSim::State::MConfiguration::MConfiguration< NodeType > | |
| MConfiguration(MConfiguration< NodeType > &&) | TuringSim::State::MConfiguration::MConfiguration< NodeType > | |
| node | TuringSim::State::MConfiguration::MConfiguration< NodeType > | protected |
| operator!=(const MConfiguration< NodeType > &other) const | TuringSim::State::MConfiguration::MConfiguration< NodeType > | |
| operator<(const MConfiguration< NodeType > &other) const | TuringSim::State::MConfiguration::MConfiguration< NodeType > | |
| operator<<(std::basic_ostream< CharT, Traits > &os, const MConfiguration< U > &m_conf) | TuringSim::State::MConfiguration::MConfiguration< NodeType > | friend |
| operator=(const MConfiguration< NodeType > &) | TuringSim::State::MConfiguration::MConfiguration< NodeType > | |
| operator=(MConfiguration< NodeType > &&) | TuringSim::State::MConfiguration::MConfiguration< NodeType > | |
| StatePattern< std::shared_ptr< const MConfiguration< NodeType > >, std::map< NodeType, std::shared_ptr< const MConfiguration< NodeType > > > >::operator=(const StatePattern &other)=default | TuringSim::State::StatePattern< std::shared_ptr< const MConfiguration< NodeType > >, std::map< NodeType, std::shared_ptr< const MConfiguration< NodeType > > > > | |
| StatePattern< std::shared_ptr< const MConfiguration< NodeType > >, std::map< NodeType, std::shared_ptr< const MConfiguration< NodeType > > > >::operator=(StatePattern &&other)=default | TuringSim::State::StatePattern< std::shared_ptr< const MConfiguration< NodeType > >, std::map< NodeType, std::shared_ptr< const MConfiguration< NodeType > > > > | |
| operator==(const MConfiguration< NodeType > &other) const | TuringSim::State::MConfiguration::MConfiguration< NodeType > | |
| StatePattern()=default | TuringSim::State::StatePattern< std::shared_ptr< const MConfiguration< NodeType > >, std::map< NodeType, std::shared_ptr< const MConfiguration< NodeType > > > > | |
| StatePattern(const StatePattern &other)=default | TuringSim::State::StatePattern< std::shared_ptr< const MConfiguration< NodeType > >, std::map< NodeType, std::shared_ptr< const MConfiguration< NodeType > > > > | |
| StatePattern(StatePattern &&other)=default | TuringSim::State::StatePattern< std::shared_ptr< const MConfiguration< NodeType > >, std::map< NodeType, std::shared_ptr< const MConfiguration< NodeType > > > > | |
| StateType typedef | TuringSim::State::MConfiguration::MConfiguration< NodeType > | |
| toString() const | TuringSim::State::MConfiguration::MConfiguration< NodeType > | |
| Unification typedef | TuringSim::State::MConfiguration::MConfiguration< NodeType > | |
| unify(const std::shared_ptr< const MConfiguration< NodeType >> &state) const | TuringSim::State::MConfiguration::MConfiguration< NodeType > | |
| unify_opt(const std::shared_ptr< const MConfiguration< NodeType >> &state) const | TuringSim::State::MConfiguration::MConfiguration< NodeType > | |
| unify_state(const std::shared_ptr< const MConfiguration< NodeType >> &state, const MConfiguration< NodeType > &pattern, std::map< NodeType, std::shared_ptr< const MConfiguration< NodeType >>> &unification) | TuringSim::State::MConfiguration::MConfiguration< NodeType > | static |
| unify_state(const std::shared_ptr< const MConfiguration< NodeType >> &state, const MConfiguration< NodeType > &pattern) | TuringSim::State::MConfiguration::MConfiguration< NodeType > | static |
| unifyWithMConf(const std::shared_ptr< const MConfiguration< NodeType >> &state) const | TuringSim::State::MConfiguration::MConfiguration< NodeType > | |
| unifyWithMConf_opt(const std::shared_ptr< const MConfiguration< NodeType >> &state) const noexcept | TuringSim::State::MConfiguration::MConfiguration< NodeType > | |
| ~MConfiguration() override=default | TuringSim::State::MConfiguration::MConfiguration< NodeType > | virtual |
| ~StatePattern()=default | TuringSim::State::StatePattern< std::shared_ptr< const MConfiguration< NodeType > >, std::map< NodeType, std::shared_ptr< const MConfiguration< NodeType > > > > | virtual |
