class
AtomIdPredicateGenerator
Contents
Constructors, destructors, conversion operators
- AtomIdPredicateGenerator() defaulted constexpr
Public functions
- auto operator==(const AtomId& id) const -> AtomPredicate
- auto operator!=(const AtomId& id) const -> AtomPredicate
- auto operator<=(const AtomId& id) const -> AtomPredicate
- auto operator<(const AtomId& id) const -> AtomPredicate
- auto operator>=(const AtomId& id) const -> AtomPredicate
- auto operator>(const AtomId& id) const -> AtomPredicate
- auto is_in(const std::set<AtomId>& ids) const -> AtomPredicate