| Context typedef | TuringSim::Symbol::SymbolPattern< SymbolType, std::map< KeyType, ValueType > > | |
| DynamicSymbolPattern(bool neg) | TuringSim::Symbol::DynamicSymbolPattern< KeyType, ValueType, SymbolType > | inlineexplicit |
| DynamicSymbolPattern(const KeyType &key) | TuringSim::Symbol::DynamicSymbolPattern< KeyType, ValueType, SymbolType > | inline |
| DynamicSymbolPattern(const std::set< KeyType > &keys) | TuringSim::Symbol::DynamicSymbolPattern< KeyType, ValueType, SymbolType > | inline |
| DynamicSymbolPattern(const std::set< KeyType > &keys, bool neg) | TuringSim::Symbol::DynamicSymbolPattern< KeyType, ValueType, SymbolType > | inline |
| isAlphaEquivalent(const DynamicSymbolPattern< KeyType, ValueType, SymbolType > &other, const std::map< KeyType, KeyType > &rewriting) const | TuringSim::Symbol::DynamicSymbolPattern< KeyType, ValueType, SymbolType > | inline |
| match(const SymbolType &symbol, const Context &context) const noexcept=0 | TuringSim::Symbol::SymbolPattern< SymbolType, std::map< KeyType, ValueType > > | pure virtual |
| matchAccordingToPredicate(const std::map< KeyType, ValueType > &context, const std::function< bool(const ValueType &)> &predicate) const | TuringSim::Symbol::DynamicSymbolPattern< KeyType, ValueType, SymbolType > | inline |
| operator!=(const DynamicSymbolPattern< KeyType, ValueType, SymbolType > &other) const | TuringSim::Symbol::DynamicSymbolPattern< KeyType, ValueType, SymbolType > | inline |
| operator<(const DynamicSymbolPattern< KeyType, ValueType, SymbolType > &other) const | TuringSim::Symbol::DynamicSymbolPattern< KeyType, ValueType, SymbolType > | inline |
| operator<<(std::basic_ostream< CharT, Traits > &os, const DynamicSymbolPattern< KeyType, ValueType, SymbolType > &pattern) | TuringSim::Symbol::DynamicSymbolPattern< KeyType, ValueType, SymbolType > | friend |
| operator=(const SymbolPattern &)=default | TuringSim::Symbol::SymbolPattern< SymbolType, std::map< KeyType, ValueType > > | |
| operator=(SymbolPattern &&)=default | TuringSim::Symbol::SymbolPattern< SymbolType, std::map< KeyType, ValueType > > | |
| operator==(const DynamicSymbolPattern< KeyType, ValueType, SymbolType > &other) const | TuringSim::Symbol::DynamicSymbolPattern< KeyType, ValueType, SymbolType > | inline |
| SymbolPattern()=default | TuringSim::Symbol::SymbolPattern< SymbolType, std::map< KeyType, ValueType > > | |
| SymbolPattern(const SymbolPattern &)=default | TuringSim::Symbol::SymbolPattern< SymbolType, std::map< KeyType, ValueType > > | |
| SymbolPattern(SymbolPattern &&)=default | TuringSim::Symbol::SymbolPattern< SymbolType, std::map< KeyType, ValueType > > | |
| SymbolType typedef | TuringSim::Symbol::SymbolPattern< SymbolType, std::map< KeyType, ValueType > > | |
| ~SymbolPattern()=default | TuringSim::Symbol::SymbolPattern< SymbolType, std::map< KeyType, ValueType > > | virtual |
