dedekind::sets::Pred< K > Member List

This is the complete list of members for dedekind::sets::Pred< K >, including all inherited members.

a (defined in dedekind::sets::Pred< K >)	dedekind::sets::Pred< K >
b (defined in dedekind::sets::Pred< K >)	dedekind::sets::Pred< K >
bottom() (defined in dedekind::sets::Pred< K >)	dedekind::sets::Pred< K >	inlinestatic
bound_like(const Pred &q, Pred body)	dedekind::sets::Pred< K >	inlinestatic
cmp(Rel r, Term< K > x, Term< K > y)	dedekind::sets::Pred< K >	inlinestatic
conj(Pred x, Pred y)	dedekind::sets::Pred< K >	inlinestatic
disj(Pred x, Pred y)	dedekind::sets::Pred< K >	inlinestatic
exists(std::size_t sort, unsigned slot, Pred body)	dedekind::sets::Pred< K >	inlinestatic
forall(std::size_t sort, unsigned slot, Pred body)	dedekind::sets::Pred< K >	inlinestatic
is_rel_predicate typedef (defined in dedekind::sets::Pred< K >)	dedekind::sets::Pred< K >
Kind enum name (defined in dedekind::sets::Pred< K >)	dedekind::sets::Pred< K >
kind (defined in dedekind::sets::Pred< K >)	dedekind::sets::Pred< K >
map_slots(const F &f) const	dedekind::sets::Pred< K >	inline
negated() const	dedekind::sets::Pred< K >	inline
operator()(const P &x) const	dedekind::sets::Pred< K >	inline
p (defined in dedekind::sets::Pred< K >)	dedekind::sets::Pred< K >
q (defined in dedekind::sets::Pred< K >)	dedekind::sets::Pred< K >
quantifier() const	dedekind::sets::Pred< K >	inline
rel (defined in dedekind::sets::Pred< K >)	dedekind::sets::Pred< K >
slot (defined in dedekind::sets::Pred< K >)	dedekind::sets::Pred< K >
sort (defined in dedekind::sets::Pred< K >)	dedekind::sets::Pred< K >
subst(unsigned variable, const Term< K > &with) const	dedekind::sets::Pred< K >	inline
top()	dedekind::sets::Pred< K >	inlinestatic