TuringSim::Symbol::TuringStyleDynamicSymbolPattern< SymbolType > Member List

This is the complete list of members for TuringSim::Symbol::TuringStyleDynamicSymbolPattern< SymbolType >, including all inherited members.

Context typedef	TuringSim::Symbol::SymbolPattern< SymbolType, std::map< SymbolType, State::MConfiguration::MConfiguration< SymbolType > > >
DynamicSymbolPattern(bool neg)	TuringSim::Symbol::DynamicSymbolPattern< SymbolType, State::MConfiguration::MConfiguration< SymbolType >, SymbolType >	inlineexplicit
DynamicSymbolPattern(const SymbolType &key)	TuringSim::Symbol::DynamicSymbolPattern< SymbolType, State::MConfiguration::MConfiguration< SymbolType >, SymbolType >	inline
DynamicSymbolPattern(const std::set< SymbolType > &keys)	TuringSim::Symbol::DynamicSymbolPattern< SymbolType, State::MConfiguration::MConfiguration< SymbolType >, SymbolType >	inline
DynamicSymbolPattern(const std::set< SymbolType > &keys, bool neg)	TuringSim::Symbol::DynamicSymbolPattern< SymbolType, State::MConfiguration::MConfiguration< SymbolType >, SymbolType >	inline
isAlphaEquivalent(const DynamicSymbolPattern< SymbolType, State::MConfiguration::MConfiguration< SymbolType >, SymbolType > &other, const std::map< SymbolType, SymbolType > &rewriting) const	TuringSim::Symbol::DynamicSymbolPattern< SymbolType, State::MConfiguration::MConfiguration< SymbolType >, SymbolType >	inline
match(const SymbolType &symbol, const std::map< SymbolType, State::MConfiguration::MConfiguration< SymbolType >> &context) const override	TuringSim::Symbol::TuringStyleDynamicSymbolPattern< SymbolType >	inlinevirtual
DynamicSymbolPattern< SymbolType, State::MConfiguration::MConfiguration< SymbolType >, SymbolType >::match(const SymbolType &symbol, const Context &context) const noexcept=0	TuringSim::Symbol::SymbolPattern< SymbolType, std::map< SymbolType, State::MConfiguration::MConfiguration< SymbolType > > >	pure virtual
matchAccordingToPredicate(const std::map< SymbolType, State::MConfiguration::MConfiguration< SymbolType > > &context, const std::function< bool(const State::MConfiguration::MConfiguration< SymbolType > &)> &predicate) const	TuringSim::Symbol::DynamicSymbolPattern< SymbolType, State::MConfiguration::MConfiguration< SymbolType >, SymbolType >	inline
operator!=(const TuringStyleDynamicSymbolPattern< SymbolType > &other) const	TuringSim::Symbol::TuringStyleDynamicSymbolPattern< SymbolType >	inline
DynamicSymbolPattern< SymbolType, State::MConfiguration::MConfiguration< SymbolType >, SymbolType >::operator!=(const DynamicSymbolPattern< SymbolType, State::MConfiguration::MConfiguration< SymbolType >, SymbolType > &other) const	TuringSim::Symbol::DynamicSymbolPattern< SymbolType, State::MConfiguration::MConfiguration< SymbolType >, SymbolType >	inline
operator<(const TuringStyleDynamicSymbolPattern< SymbolType > &other) const	TuringSim::Symbol::TuringStyleDynamicSymbolPattern< SymbolType >	inline
DynamicSymbolPattern< SymbolType, State::MConfiguration::MConfiguration< SymbolType >, SymbolType >::operator<(const DynamicSymbolPattern< SymbolType, State::MConfiguration::MConfiguration< SymbolType >, SymbolType > &other) const	TuringSim::Symbol::DynamicSymbolPattern< SymbolType, State::MConfiguration::MConfiguration< SymbolType >, SymbolType >	inline
operator=(const SymbolPattern &)=default	TuringSim::Symbol::SymbolPattern< SymbolType, std::map< SymbolType, State::MConfiguration::MConfiguration< SymbolType > > >
operator=(SymbolPattern &&)=default	TuringSim::Symbol::SymbolPattern< SymbolType, std::map< SymbolType, State::MConfiguration::MConfiguration< SymbolType > > >
operator==(const TuringStyleDynamicSymbolPattern< SymbolType > &other) const	TuringSim::Symbol::TuringStyleDynamicSymbolPattern< SymbolType >	inline
DynamicSymbolPattern< SymbolType, State::MConfiguration::MConfiguration< SymbolType >, SymbolType >::operator==(const DynamicSymbolPattern< SymbolType, State::MConfiguration::MConfiguration< SymbolType >, SymbolType > &other) const	TuringSim::Symbol::DynamicSymbolPattern< SymbolType, State::MConfiguration::MConfiguration< SymbolType >, SymbolType >	inline
SymbolPattern()=default	TuringSim::Symbol::SymbolPattern< SymbolType, std::map< SymbolType, State::MConfiguration::MConfiguration< SymbolType > > >
SymbolPattern(const SymbolPattern &)=default	TuringSim::Symbol::SymbolPattern< SymbolType, std::map< SymbolType, State::MConfiguration::MConfiguration< SymbolType > > >
SymbolPattern(SymbolPattern &&)=default	TuringSim::Symbol::SymbolPattern< SymbolType, std::map< SymbolType, State::MConfiguration::MConfiguration< SymbolType > > >
SymbolType typedef	TuringSim::Symbol::SymbolPattern< SymbolType, std::map< SymbolType, State::MConfiguration::MConfiguration< SymbolType > > >
TuringStyleDynamicSymbolPattern(bool neg)	TuringSim::Symbol::TuringStyleDynamicSymbolPattern< SymbolType >	inlineexplicit
TuringStyleDynamicSymbolPattern(const SymbolType &key)	TuringSim::Symbol::TuringStyleDynamicSymbolPattern< SymbolType >	inline
TuringStyleDynamicSymbolPattern(const std::set< SymbolType > &keys)	TuringSim::Symbol::TuringStyleDynamicSymbolPattern< SymbolType >	inline
TuringStyleDynamicSymbolPattern(const std::set< SymbolType > &keys, bool neg)	TuringSim::Symbol::TuringStyleDynamicSymbolPattern< SymbolType >	inline
~SymbolPattern()=default	TuringSim::Symbol::SymbolPattern< SymbolType, std::map< SymbolType, State::MConfiguration::MConfiguration< SymbolType > > >	virtual