| Context typedef | TuringSim::Symbol::SymbolPattern< SymbolType, std::map< KeyType, ValueType > > | |
| isAlphaEquivalent(const MixedSymbolPattern< KeyType, ValueType, SymbolType > &other, const std::map< KeyType, KeyType > &rewriting) const | TuringSim::Symbol::MixedSymbolPattern< 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 SymbolType &symbol, const std::map< KeyType, ValueType > &context, const std::function< bool(const ValueType &)> &predicate) const | TuringSim::Symbol::MixedSymbolPattern< KeyType, ValueType, SymbolType > | inline |
| MixedSymbolPattern(const std::set< KeyType > &symbols, const std::set< KeyType > &keys, bool neg) | TuringSim::Symbol::MixedSymbolPattern< KeyType, ValueType, SymbolType > | inline |
| operator!=(const MixedSymbolPattern< KeyType, ValueType, SymbolType > &other) const | TuringSim::Symbol::MixedSymbolPattern< KeyType, ValueType, SymbolType > | inline |
| operator<(const MixedSymbolPattern< KeyType, ValueType, SymbolType > &other) const | TuringSim::Symbol::MixedSymbolPattern< KeyType, ValueType, SymbolType > | inline |
| operator<<(std::basic_ostream< CharT, Traits > &os, const MixedSymbolPattern< KeyType, ValueType, SymbolType > &pattern) | TuringSim::Symbol::MixedSymbolPattern< 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 MixedSymbolPattern< KeyType, ValueType, SymbolType > &other) const | TuringSim::Symbol::MixedSymbolPattern< 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 |
