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

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

a (defined in dedekind::sets::Term< K >)	dedekind::sets::Term< K >
b (defined in dedekind::sets::Term< K >)	dedekind::sets::Term< K >
bin(Arith op, Term x, Term y)	dedekind::sets::Term< K >	inlinestatic
cond(Pred< K > q, Term a, Term b)	dedekind::sets::Term< K >	inlinestatic
constant(K k)	dedekind::sets::Term< K >	inlinestatic
Kind enum name (defined in dedekind::sets::Term< K >)	dedekind::sets::Term< K >
kind (defined in dedekind::sets::Term< K >)	dedekind::sets::Term< K >
map_slots(const F &f) const	dedekind::sets::Term< K >	inline
op (defined in dedekind::sets::Term< K >)	dedekind::sets::Term< K >
p (defined in dedekind::sets::Term< K >)	dedekind::sets::Term< K >
proj(unsigned slot)	dedekind::sets::Term< K >	inlinestatic
slot (defined in dedekind::sets::Term< K >)	dedekind::sets::Term< K >
subst(unsigned variable, const Term &with) const	dedekind::sets::Term< K >	inline
value (defined in dedekind::sets::Term< K >)	dedekind::sets::Term< K >