|
Dedekind 0.0.0
A structuralist C++23 Module Library
|
This is the complete list of members for dedekind::relational::PreimagePredicate< F, S >, including all inherited members.
| arrow (defined in dedekind::relational::PreimagePredicate< F, S >) | dedekind::relational::PreimagePredicate< F, S > | |
| ArrowType typedef (defined in dedekind::relational::PreimagePredicate< F, S >) | dedekind::relational::PreimagePredicate< F, S > | |
| operator()(const typename ArrowType::Domain &a) const (defined in dedekind::relational::PreimagePredicate< F, S >) | dedekind::relational::PreimagePredicate< F, S > | inline |
| set (defined in dedekind::relational::PreimagePredicate< F, S >) | dedekind::relational::PreimagePredicate< F, S > | |
| SetType typedef (defined in dedekind::relational::PreimagePredicate< F, S >) | dedekind::relational::PreimagePredicate< F, S > |