| calcTheta0 | Algorithm.SRTree.ConfidenceIntervals |
| calculateConsts | Algorithm.EqSat.Egraph |
| calculateCost | Algorithm.EqSat.Egraph |
| calculateHeights | Algorithm.EqSat.Egraph |
| canonical | Algorithm.EqSat.Egraph |
| canonical' | Algorithm.EqSat.Egraph |
| canonicalMap | Algorithm.EqSat.Egraph |
| canonize | Algorithm.EqSat.Egraph |
| canonizeMap | Algorithm.EqSat.EqSatDB |
| cata | Data.SRTree.Recursion |
| cataM | Data.SRTree.Recursion |
| Cbrt | Data.SRTree.Internal, Data.SRTree |
| cbrt | Data.SRTree.Eval |
| CCSAQ | Algorithm.SRTree.NonlinearOpt |
| children | Algorithm.EqSat.Egraph |
| cholesky | Algorithm.Massiv.Utils |
| chrono | Data.SRTree.Recursion |
| chunkBy | Algorithm.Massiv.Utils |
| CI | |
| 1 (Type/Class) | Algorithm.SRTree.ConfidenceIntervals |
| 2 (Data Constructor) | Algorithm.SRTree.ConfidenceIntervals |
| CIType | Algorithm.SRTree.ConfidenceIntervals |
| ClassIdMap | Algorithm.EqSat.Egraph |
| classOfENode | Algorithm.EqSat.EqSatDB |
| ClassOrVar | Algorithm.EqSat.EqSatDB |
| CoAlgebra | Data.SRTree.Recursion |
| COBYLA | Algorithm.SRTree.NonlinearOpt |
| Cofree | Data.SRTree.Recursion |
| combineConsts | Algorithm.EqSat.Egraph |
| compileToQuery | Algorithm.EqSat.EqSatDB |
| Condition | Algorithm.EqSat.EqSatDB |
| ConsF | Data.SRTree.Recursion |
| Const | Data.SRTree.Internal, Data.SRTree |
| Constrained | Algorithm.SRTree.ConfidenceIntervals |
| Constraint | Algorithm.SRTree.NonlinearOpt |
| Consts | Algorithm.EqSat.Egraph |
| consts | Algorithm.EqSat.Egraph |
| constsToParam | Data.SRTree.Internal, Data.SRTree |
| constv | Data.SRTree.Internal, Data.SRTree |
| ConstVal | Algorithm.EqSat.Egraph |
| Cos | Data.SRTree.Internal, Data.SRTree |
| Cosh | Data.SRTree.Internal, Data.SRTree |
| Cost | Algorithm.EqSat.Egraph |
| cost | Algorithm.EqSat.Egraph |
| CostFun | Algorithm.EqSat.Egraph |
| CostMap | Algorithm.EqSat |
| countConsts | Data.SRTree.Internal, Data.SRTree |
| countNodes | Data.SRTree.Internal, Data.SRTree |
| countOccurrences | Data.SRTree.Internal, Data.SRTree |
| countParams | Data.SRTree.Internal, Data.SRTree |
| countUniqueTokens | Data.SRTree.Internal, Data.SRTree |
| countVarNodes | Data.SRTree.Internal, Data.SRTree |
| createDB | Algorithm.EqSat.EqSatDB |
| createSplines | Algorithm.SRTree.ConfidenceIntervals |
| CRS2_LM | Algorithm.SRTree.NonlinearOpt |
| cubicSplineCoefficients | Algorithm.Massiv.Utils |