dedekind::relational::RelExpr< K, Cs > Member List

This is the complete list of members for dedekind::relational::RelExpr< K, Cs >, including all inherited members.

ι(const Member &m) const (defined in dedekind::relational::RelExpr< K, Cs >)	dedekind::relational::RelExpr< K, Cs >	inline
a (defined in dedekind::relational::RelExpr< K, Cs >)	dedekind::relational::RelExpr< K, Cs >
arity() const (defined in dedekind::relational::RelExpr< K, Cs >)	dedekind::relational::RelExpr< K, Cs >	inline
b (defined in dedekind::relational::RelExpr< K, Cs >)	dedekind::relational::RelExpr< K, Cs >
binary(Kind k, RelExpr x, RelExpr y, Object dom, Object cod) (defined in dedekind::relational::RelExpr< K, Cs >)	dedekind::relational::RelExpr< K, Cs >	inlinestatic
budget (defined in dedekind::relational::RelExpr< K, Cs >)	dedekind::relational::RelExpr< K, Cs >
cod (defined in dedekind::relational::RelExpr< K, Cs >)	dedekind::relational::RelExpr< K, Cs >
Codomain typedef (defined in dedekind::relational::RelExpr< K, Cs >)	dedekind::relational::RelExpr< K, Cs >
columns() const	dedekind::relational::RelExpr< K, Cs >	inline
dom (defined in dedekind::relational::RelExpr< K, Cs >)	dedekind::relational::RelExpr< K, Cs >
Domain typedef	dedekind::relational::RelExpr< K, Cs >
Kind typedef (defined in dedekind::relational::RelExpr< K, Cs >)	dedekind::relational::RelExpr< K, Cs >
kind (defined in dedekind::relational::RelExpr< K, Cs >)	dedekind::relational::RelExpr< K, Cs >
logic_species typedef	dedekind::relational::RelExpr< K, Cs >
operator()(const Domain &p) const	dedekind::relational::RelExpr< K, Cs >	inline
P typedef (defined in dedekind::relational::RelExpr< K, Cs >)	dedekind::relational::RelExpr< K, Cs >
Point typedef (defined in dedekind::relational::RelExpr< K, Cs >)	dedekind::relational::RelExpr< K, Cs >
predicate (defined in dedekind::relational::RelExpr< K, Cs >)	dedekind::relational::RelExpr< K, Cs >
rep() const	dedekind::relational::RelExpr< K, Cs >	inline
T typedef (defined in dedekind::relational::RelExpr< K, Cs >)	dedekind::relational::RelExpr< K, Cs >
unary(Kind k, RelExpr x, Object dom, Object cod, P p=P::top()) (defined in dedekind::relational::RelExpr< K, Cs >)	dedekind::relational::RelExpr< K, Cs >	inlinestatic
universe(Object dom, Object cod)	dedekind::relational::RelExpr< K, Cs >	inlinestatic