Here is a list of all documented class members with links to the class documentation for each member:

- c -

• cardinality() : dedekind::numbers::𝔸< T, L, C >, dedekind::relational::𝔸< T, L, C >, dedekind::sequences::𝔸< T, L, C >, dedekind::sequences::Path< T, Cardinality, Index >, dedekind::sets::𝔸< T, L, C >
• cardinality_type : dedekind::numbers::𝔸< T, L, C >, dedekind::numbers::Rational< Z >, dedekind::relational::𝔸< T, L, C >, dedekind::sequences::𝔸< T, L, C >, dedekind::sequences::BoundedSet< OI, P >, dedekind::sets::𝔸< T, L, C >
• chain_view() : dedekind::category::chain_view< C >, dedekind::order::chain_view< C >, dedekind::sequences::chain_view< C >
• cmp() : dedekind::sets::Pred< K >
• coalgebra() : dedekind::category::unfold_view< S, Coalg >
• Codomain : dedekind::category::Identity< T >, dedekind::category::LiftLogic< L >, dedekind::category::Subobject< A, Chi >, dedekind::numbers::𝔸< T, L, C >, dedekind::relational::𝔸< T, L, C >, dedekind::sequences::𝔸< T, L, C >, dedekind::sets::𝔸< T, L, C >
• collatz_reach_path : dedekind::numbers::ReachPath
• column() : dedekind::linear_algebra::MatNxNV< S, N >, dedekind::linear_algebra::Matrix2x2V< T >
• column_type : dedekind::linear_algebra::MatNxNV< S, N >
• columns : dedekind::category::Automaton< Sigma, Q >, dedekind::relational::RelExpr< K, Cs >, jlt::Automaton< Sigma, Q >
• Comprehension() : dedekind::numbers::Comprehension< Base, Predicate >, dedekind::relational::Comprehension< Base, Predicate >, dedekind::sequences::Comprehension< Base, Predicate >, dedekind::sets::Comprehension< Base, Predicate >
• cond() : dedekind::sets::Term< K >
• conj() : dedekind::numbers::Quaternion< R >, dedekind::sets::Pred< K >
• constant() : dedekind::sets::Term< K >
• constant_order : dedekind::morphologies::Modular< N >
• contains() : dedekind::numbers::𝔸< T, L, C >, dedekind::numbers::Cut< Q >, dedekind::numbers::Interval< V, L >, dedekind::optimization::Halfspace2D< T, a, b, c >, dedekind::order::Interval< V, L >, dedekind::relational::𝔸< T, L, C >, dedekind::sequences::𝔸< T, L, C >, dedekind::sets::𝔸< T, L, C >
• contains_bounded() : dedekind::numbers::Interval< V, L >, dedekind::order::Interval< V, L >
• contains_value() : dedekind::optimization::Halfspace2D< T, a, b, c >
• cost : dedekind::optimization::CriticalPathStep< S, Cap, CostFn >, dedekind::optimization::Relax< S, Cap, CostFn >
• Cut() : dedekind::numbers::Cut< Q >