class
AtomNamePredicateGenerator
Contents
Constructors, destructors, conversion operators
- AtomNamePredicateGenerator() defaulted constexpr
Public functions
- auto operator==(const AtomName& name) const -> AtomPredicate
- auto operator==(const char* char_name) const -> AtomPredicate
- auto operator==(const std::string& string_name) const -> AtomPredicate
- auto operator!=(const AtomName& name) const -> AtomPredicate
- auto operator!=(const char* char_name) const -> AtomPredicate
- auto operator!=(const std::string& string_name) const -> AtomPredicate
- auto is_in(const std::set<AtomName>& names) const -> AtomPredicate
- auto is_in(const std::set<const char*>& char_names) const -> AtomPredicate
- auto is_in(const std::set<std::string>& char_names) const -> AtomPredicate