| :< | Data.SRTree.Recursion |
| :==: | Algorithm.EqSat.EqSatDB |
| :=> | Algorithm.EqSat.EqSatDB |
| :| | |
| 1 (Data Constructor) | Algorithm.SRTree.NonlinearOpt |
| 2 (Data Constructor) | Algorithm.EqSat.EqSatDB |
| Abs | Data.SRTree.Internal, Data.SRTree |
| accu | Data.SRTree.Recursion |
| ACos | Data.SRTree.Internal, Data.SRTree |
| ACosh | Data.SRTree.Internal, Data.SRTree |
| Add | Data.SRTree.Internal, Data.SRTree |
| add | Algorithm.EqSat.Egraph |
| addToDB | Algorithm.EqSat.EqSatDB |
| aic | Algorithm.SRTree.ModelSelection |
| alalgorithm | Algorithm.SRTree.NonlinearOpt |
| alEquality | Algorithm.SRTree.NonlinearOpt |
| alEqualityD | Algorithm.SRTree.NonlinearOpt |
| Algebra | Data.SRTree.Recursion |
| ana | Data.SRTree.Recursion |
| analysis | Algorithm.EqSat.Egraph |
| apo | Data.SRTree.Recursion |
| appendCol | Algorithm.Massiv.Utils |
| appendRow | Algorithm.Massiv.Utils |
| applyMatch | Algorithm.EqSat.EqSatDB |
| applyMergeOnlyMatch | Algorithm.EqSat.EqSatDB |
| approximateContour | Algorithm.SRTree.ConfidenceIntervals |
| arity | Data.SRTree.Internal, Data.SRTree |
| ASin | Data.SRTree.Internal, Data.SRTree |
| ASinh | Data.SRTree.Internal, Data.SRTree |
| ATan | Data.SRTree.Internal, Data.SRTree |
| ATanh | Data.SRTree.Internal, Data.SRTree |
| Atom | |
| 1 (Type/Class) | Algorithm.EqSat.EqSatDB |
| 2 (Data Constructor) | Algorithm.EqSat.EqSatDB |
| AugLagAlgorithm | Algorithm.SRTree.NonlinearOpt |
| AugLagProblem | |
| 1 (Type/Class) | Algorithm.SRTree.NonlinearOpt |
| 2 (Data Constructor) | Algorithm.SRTree.NonlinearOpt |
| AUGLAG_EQ_GLOBAL | Algorithm.SRTree.NonlinearOpt |
| AUGLAG_EQ_LOCAL | Algorithm.SRTree.NonlinearOpt |
| AUGLAG_GLOBAL | Algorithm.SRTree.NonlinearOpt |
| AUGLAG_LOCAL | Algorithm.SRTree.NonlinearOpt |
| backwardSub | Algorithm.Massiv.Utils |
| BasicStats | Algorithm.SRTree.ConfidenceIntervals |
| Bates | Algorithm.SRTree.ConfidenceIntervals |
| Bernoulli | Algorithm.SRTree.Likelihoods |
| best | Algorithm.EqSat.Egraph |
| bic | Algorithm.SRTree.ModelSelection |
| Bin | Data.SRTree.Internal, Data.SRTree |
| BINGO | Text.ParseSR |
| BOBYQA | Algorithm.SRTree.NonlinearOpt |
| Bounds | Algorithm.SRTree.NonlinearOpt |
| 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 |
| DB | Algorithm.EqSat.EqSatDB |
| derivative | Data.SRTree.Derivative |
| deriveByParam | Data.SRTree.Derivative |
| deriveByVar | Data.SRTree.Derivative |
| det | Algorithm.Massiv.Utils |
| detChol | Algorithm.Massiv.Utils |
| DIRECT | Algorithm.SRTree.NonlinearOpt |
| DIRECT_L | Algorithm.SRTree.NonlinearOpt |
| DIRECT_L_NOSCAL | Algorithm.SRTree.NonlinearOpt |
| DIRECT_L_RAND | Algorithm.SRTree.NonlinearOpt |
| DIRECT_L_RAND_NOSCAL | Algorithm.SRTree.NonlinearOpt |
| DIRECT_NOSCAL | Algorithm.SRTree.NonlinearOpt |
| Distribution | Algorithm.SRTree.Likelihoods |
| Div | Data.SRTree.Internal, Data.SRTree |
| domainX | Algorithm.EqSat.EqSatDB |
| Don'tSeed | Algorithm.SRTree.NonlinearOpt |
| doubleDerivative | Data.SRTree.Derivative |
| EClass | |
| 1 (Type/Class) | Algorithm.EqSat.Egraph |
| 2 (Data Constructor) | Algorithm.EqSat.Egraph |
| eClass | Algorithm.EqSat.Egraph |
| EClassData | Algorithm.EqSat.Egraph |
| EClassId | Algorithm.EqSat.Egraph |
| eClassId | Algorithm.EqSat.Egraph |
| EData | |
| 1 (Data Constructor) | Algorithm.EqSat.Egraph |
| 2 (Type/Class) | Algorithm.EqSat.Egraph |
| EGraph | |
| 1 (Type/Class) | Algorithm.EqSat.Egraph |
| 2 (Data Constructor) | Algorithm.EqSat.Egraph |
| EGraphST | Algorithm.EqSat.Egraph |
| elemOfAtom | Algorithm.EqSat.EqSatDB |
| emptyGraph | Algorithm.EqSat.Egraph |
| ENode | Algorithm.EqSat.Egraph |
| eNodes | Algorithm.EqSat.Egraph |
| eNodeToEClass | Algorithm.EqSat.Egraph |
| EPLEX | Text.ParseSR |
| eqConstraintFunctions | Algorithm.SRTree.NonlinearOpt |
| eqConstraintTolerance | Algorithm.SRTree.NonlinearOpt |
| eqSat | Algorithm.EqSat |
| EqualityConstraint | |
| 1 (Type/Class) | Algorithm.SRTree.NonlinearOpt |
| 2 (Data Constructor) | Algorithm.SRTree.NonlinearOpt |
| EqualityConstraints | Algorithm.SRTree.NonlinearOpt |
| EqualityConstraintsD | Algorithm.SRTree.NonlinearOpt |
| ESCH | Algorithm.SRTree.NonlinearOpt |
| estimateSErr | Algorithm.SRTree.Opt |
| est_ | Algorithm.SRTree.ConfidenceIntervals |
| evalFun | Data.SRTree.Eval |
| evalInverse | Data.SRTree.Eval |
| evalOp | Data.SRTree.Eval |
| evalTree | Data.SRTree.Eval |
| evalVar | Algorithm.SRTree.ConfidenceIntervals |
| evidence | Algorithm.SRTree.ModelSelection |
| Exp | Data.SRTree.Internal, Data.SRTree |
| extract | Data.SRTree.Recursion |
| FAILURE | Algorithm.SRTree.NonlinearOpt |
| findRootClasses | Algorithm.EqSat.Egraph |
| fisherNLL | Algorithm.SRTree.Likelihoods |
| Fix | |
| 1 (Type/Class) | Data.SRTree.Recursion, Data.SRTree.Internal, Data.SRTree |
| 2 (Data Constructor) | Data.SRTree.Recursion, Data.SRTree.Internal, Data.SRTree |
| Fixed | Algorithm.EqSat.EqSatDB |
| floatConstsToParam | Data.SRTree.Internal, Data.SRTree |
| FORCED_STOP | Algorithm.SRTree.NonlinearOpt |
| forwardMode | Algorithm.SRTree.AD |
| forwardModeUnique | Algorithm.SRTree.AD |
| forwardModeUniqueJac | Algorithm.SRTree.AD |
| forwardSub | Algorithm.Massiv.Utils |
| Free | Data.SRTree.Recursion |
| fromJust | Algorithm.EqSat |
| fromList | Data.SRTree.Recursion |
| fromNat | Data.SRTree.Recursion |
| fromTree | Algorithm.EqSat.Egraph |
| fromTrees | Algorithm.EqSat.Egraph |
| fromTreeWith | Algorithm.EqSat.Egraph |
| FTOL_REACHED | Algorithm.SRTree.NonlinearOpt |
| FullParams | Data.SRTree.Random |
| Function | Data.SRTree.Internal, Data.SRTree |
| futu | Data.SRTree.Recursion |
| galgorithm | Algorithm.SRTree.NonlinearOpt |
| Gaussian | Algorithm.SRTree.Likelihoods |
| genericJoin | Algorithm.EqSat.EqSatDB |
| genSplineFun | Algorithm.Massiv.Utils |
| getAllExpressionsFrom | Algorithm.EqSat.Egraph |
| getAllProfiles | Algorithm.SRTree.ConfidenceIntervals |
| getBest | Algorithm.EqSat |
| getChildren | Data.SRTree.Internal, Data.SRTree |
| getCol | Algorithm.SRTree.ConfidenceIntervals |
| getCols | Algorithm.Massiv.Utils |
| getConditions | Algorithm.EqSat.EqSatDB |
| getEClass | Algorithm.EqSat.Egraph |
| getElems | Algorithm.EqSat.EqSatDB |
| getEndPoint | Algorithm.SRTree.ConfidenceIntervals |
| getExpressionFrom | Algorithm.EqSat.Egraph |
| getInt | Algorithm.EqSat.EqSatDB |
| getIntConsts | Data.SRTree.Internal, Data.SRTree |
| getOperator | Algorithm.EqSat.Egraph |
| getProfile | Algorithm.SRTree.ConfidenceIntervals |
| getProfileCnstr | Algorithm.SRTree.ConfidenceIntervals |
| getProfileODE | Algorithm.SRTree.ConfidenceIntervals |
| getRndExpressionFrom | Algorithm.EqSat.Egraph |
| getRows | Algorithm.Massiv.Utils |
| getSErr | Algorithm.SRTree.Likelihoods |
| getStatsFromModel | Algorithm.SRTree.ConfidenceIntervals |
| GlobalAlgorithm | Algorithm.SRTree.NonlinearOpt |
| GlobalProblem | |
| 1 (Type/Class) | Algorithm.SRTree.NonlinearOpt |
| 2 (Data Constructor) | Algorithm.SRTree.NonlinearOpt |
| GOMEA | Text.ParseSR |
| gradNLL | Algorithm.SRTree.Likelihoods |
| gradNLLNonUnique | Algorithm.SRTree.Likelihoods |
| gstop | Algorithm.SRTree.NonlinearOpt |
| HasEverything | Data.SRTree.Random |
| HasFuns | Data.SRTree.Random |
| HasVals | Data.SRTree.Random |
| HasVars | Data.SRTree.Random |
| height | Algorithm.EqSat.Egraph |
| hessianNLL | Algorithm.SRTree.Likelihoods |
| histo | Data.SRTree.Recursion |
| HL | Text.ParseSR |
| hylo | Data.SRTree.Recursion |
| Id | Data.SRTree.Internal, Data.SRTree |
| ineqConstraintFunctions | Algorithm.SRTree.NonlinearOpt |
| ineqConstraintTolerance | Algorithm.SRTree.NonlinearOpt |
| InequalityConstraint | |
| 1 (Type/Class) | Algorithm.SRTree.NonlinearOpt |
| 2 (Data Constructor) | Algorithm.SRTree.NonlinearOpt |
| InequalityConstraints | Algorithm.SRTree.NonlinearOpt |
| InequalityConstraintsD | Algorithm.SRTree.NonlinearOpt |
| info | Algorithm.EqSat.Egraph |
| InitialStep | |
| 1 (Type/Class) | Algorithm.SRTree.NonlinearOpt |
| 2 (Data Constructor) | Algorithm.SRTree.NonlinearOpt |
| intersectAtoms | Algorithm.EqSat.EqSatDB |
| intersectTries | Algorithm.EqSat.EqSatDB |
| IntTrie | |
| 1 (Type/Class) | Algorithm.EqSat.EqSatDB |
| 2 (Data Constructor) | Algorithm.EqSat.EqSatDB |
| INVALID_ARGS | Algorithm.SRTree.NonlinearOpt |
| invChol | Algorithm.Massiv.Utils |
| inverseDist | Algorithm.SRTree.ConfidenceIntervals |
| inverseFunc | Data.SRTree.Eval |
| invertibles | Data.SRTree.Eval |
| invleft | Data.SRTree.Eval |
| invright | Data.SRTree.Eval |
| isConst | Algorithm.EqSat.EqSatDB |
| isDiffFrom | Algorithm.EqSat.EqSatDB |
| ISRES | Algorithm.SRTree.NonlinearOpt |
| isValidConditions | Algorithm.EqSat.EqSatDB |
| isValidHeight | Algorithm.EqSat.EqSatDB |
| joinData | Algorithm.EqSat.Egraph |
| lalgorithm | Algorithm.SRTree.NonlinearOpt |
| Laplace | Algorithm.SRTree.ConfidenceIntervals |
| LATEX | Text.ParseSR |
| LBFGS | Algorithm.SRTree.NonlinearOpt |
| LBFGS_NOCEDAL | Algorithm.SRTree.NonlinearOpt |
| LeafF | Data.SRTree.Recursion |
| linSpace | Algorithm.Massiv.Utils |
| ListF | Data.SRTree.Recursion |
| loadDataset | Data.SRTree.Datasets |
| LocalAlgorithm | Algorithm.SRTree.NonlinearOpt |
| LocalProblem | |
| 1 (Type/Class) | Algorithm.SRTree.NonlinearOpt |
| 2 (Data Constructor) | Algorithm.SRTree.NonlinearOpt |
| Log | Data.SRTree.Internal, Data.SRTree |
| logFunctional | Algorithm.SRTree.ModelSelection |
| logFunctionalFreq | Algorithm.SRTree.ModelSelection |
| logParameters | Algorithm.SRTree.ModelSelection |
| logParametersLatt | Algorithm.SRTree.ModelSelection |
| LowerBounds | Algorithm.SRTree.NonlinearOpt |
| lowerBounds | Algorithm.SRTree.NonlinearOpt |
| lower_ | Algorithm.SRTree.ConfidenceIntervals |
| lsize | Algorithm.SRTree.NonlinearOpt |
| lstop | Algorithm.SRTree.NonlinearOpt |
| lu | Algorithm.Massiv.Utils |
| luSolve | Algorithm.Massiv.Utils |
| makeAnalysis | Algorithm.EqSat.Egraph |
| match | Algorithm.EqSat.EqSatDB |
| matchWithScheduler | Algorithm.EqSat |
| MATH | Text.ParseSR |
| MAXEVAL_REACHED | Algorithm.SRTree.NonlinearOpt |
| MaximumEvaluations | Algorithm.SRTree.NonlinearOpt |
| MaximumTime | Algorithm.SRTree.NonlinearOpt |
| MAXTIME_REACHED | Algorithm.SRTree.NonlinearOpt |
| mdl | Algorithm.SRTree.ModelSelection |
| mdlFreq | Algorithm.SRTree.ModelSelection |
| mdlLatt | Algorithm.SRTree.ModelSelection |
| merge | Algorithm.EqSat.Egraph |
| minimizeAugLag | Algorithm.SRTree.NonlinearOpt |
| minimizeBinomial | Algorithm.SRTree.Opt |
| minimizeGaussian | Algorithm.SRTree.Opt |
| minimizeGlobal | Algorithm.SRTree.NonlinearOpt |
| minimizeLocal | Algorithm.SRTree.NonlinearOpt |
| minimizeNLL | Algorithm.SRTree.Opt |
| minimizeNLLNonUnique | Algorithm.SRTree.Opt |
| minimizeNLLWithFixedParam | Algorithm.SRTree.Opt |
| minimizePoisson | Algorithm.SRTree.Opt |
| MinimumValue | Algorithm.SRTree.NonlinearOpt |
| MkStats | Algorithm.SRTree.ConfidenceIntervals |
| MLSL | Algorithm.SRTree.NonlinearOpt |
| MLSL_LDS | Algorithm.SRTree.NonlinearOpt |
| MMA | Algorithm.SRTree.NonlinearOpt |
| MMassArray | Algorithm.Massiv.Utils |
| modifyEClass | Algorithm.EqSat.Egraph |
| mse | Algorithm.SRTree.Likelihoods |
| Mul | Data.SRTree.Internal, Data.SRTree |
| mutu | Data.SRTree.Recursion |
| NatF | Data.SRTree.Recursion |
| Negative | Algorithm.EqSat.Egraph |
| NegDef | |
| 1 (Type/Class) | Algorithm.Massiv.Utils |
| 2 (Data Constructor) | Algorithm.Massiv.Utils |
| NELDERMEAD | Algorithm.SRTree.NonlinearOpt |
| NEWUOA | Algorithm.SRTree.NonlinearOpt |
| NEWUOA_BOUND | Algorithm.SRTree.NonlinearOpt |
| nextId | Algorithm.EqSat.Egraph |
| NilF | Data.SRTree.Recursion |
| nll | Algorithm.SRTree.Likelihoods |
| nll' | Algorithm.SRTree.ModelSelection |
| NodeF | Data.SRTree.Recursion |
| NonEmpty | Algorithm.SRTree.NonlinearOpt |
| NonZero | Algorithm.EqSat.Egraph |
| NotConst | Algorithm.EqSat.Egraph |
| numberOfVars | Data.SRTree.Internal, Data.SRTree |
| Objective | Algorithm.SRTree.NonlinearOpt |
| ObjectiveAbsoluteTolerance | Algorithm.SRTree.NonlinearOpt |
| ObjectiveD | Algorithm.SRTree.NonlinearOpt |
| ObjectiveRelativeTolerance | Algorithm.SRTree.NonlinearOpt |
| ODE | Algorithm.SRTree.ConfidenceIntervals |
| Op | |
| 1 (Data Constructor) | Data.SRTree.Recursion |
| 2 (Type/Class) | Data.SRTree.Internal, Data.SRTree |
| OPERON | Text.ParseSR |
| orderedVars | Algorithm.EqSat.EqSatDB |
| ORIG_DIRECT | Algorithm.SRTree.NonlinearOpt |
| ORIG_DIRECT_L | Algorithm.SRTree.NonlinearOpt |
| outer | Algorithm.Massiv.Utils |
| Output | Text.ParseSR |
| OUT_OF_MEMORY | Algorithm.SRTree.NonlinearOpt |
| P | Data.SRTree.Random |
| para | Data.SRTree.Recursion |
| Param | Data.SRTree.Internal, Data.SRTree |
| param | Data.SRTree.Internal, Data.SRTree |
| paramCI | Algorithm.SRTree.ConfidenceIntervals |
| ParameterAbsoluteTolerance | Algorithm.SRTree.NonlinearOpt |
| ParameterRelativeTolerance | Algorithm.SRTree.NonlinearOpt |
| ParamIx | Algorithm.EqSat.Egraph |
| paramsToConst | Data.SRTree.Internal, Data.SRTree |
| parents | Algorithm.EqSat.Egraph |
| parseSR | Text.ParseSR |
| Pattern | Algorithm.EqSat.EqSatDB |
| Poisson | Algorithm.SRTree.Likelihoods |
| PolyCos | Algorithm.Massiv.Utils |
| populate | Algorithm.EqSat.EqSatDB |
| Population | |
| 1 (Type/Class) | Algorithm.SRTree.NonlinearOpt |
| 2 (Data Constructor) | Algorithm.SRTree.NonlinearOpt |
| Positive | Algorithm.EqSat.Egraph |
| Power | Data.SRTree.Internal, Data.SRTree |
| PRAXIS | Algorithm.SRTree.NonlinearOpt |
| Preconditioned | Algorithm.SRTree.NonlinearOpt |
| Preconditioner | Algorithm.SRTree.NonlinearOpt |
| predict | Algorithm.SRTree.Likelihoods |
| predictionCI | Algorithm.SRTree.ConfidenceIntervals |
| printCI | Algorithm.SRTree.ConfidenceIntervals |
| printExpr | Data.SRTree.Print |
| printExprWithVars | Data.SRTree.Print |
| printLatex | Data.SRTree.Print |
| printPython | Data.SRTree.Print |
| printTikz | Data.SRTree.Print |
| Profile | Algorithm.SRTree.ConfidenceIntervals |
| ProfileT | |
| 1 (Type/Class) | Algorithm.SRTree.ConfidenceIntervals |
| 2 (Data Constructor) | Algorithm.SRTree.ConfidenceIntervals |
| Property | Algorithm.EqSat.Egraph |
| PType | Algorithm.SRTree.ConfidenceIntervals |
| PVector | Data.SRTree.Eval, Algorithm.SRTree.Likelihoods |
| PYSR | Text.ParseSR |
| PYTHON | Text.ParseSR |
| Query | Algorithm.EqSat.EqSatDB |
| randomConst | Data.SRTree.Random |
| randomFunction | Data.SRTree.Random |
| randomNode | Data.SRTree.Random |
| randomNonTerminal | Data.SRTree.Random |
| randomPow | Data.SRTree.Random |
| RandomSeed | Algorithm.SRTree.NonlinearOpt |
| randomTree | Data.SRTree.Random |
| randomTreeBalanced | Data.SRTree.Random |
| randomVar | Data.SRTree.Random |
| rangedLinearDotProd | Algorithm.Massiv.Utils |
| Real | Algorithm.EqSat.Egraph |
| rebuild | Algorithm.EqSat.Egraph |
| recalculateBest | Algorithm.EqSat |
| relabelParams | Data.SRTree.Internal, Data.SRTree |
| repair | Algorithm.EqSat.Egraph |
| repairAnalysis | Algorithm.EqSat.Egraph |
| replaceChildren | Algorithm.EqSat.Egraph |
| replaceParam0 | Algorithm.SRTree.ConfidenceIntervals |
| replicateAs | Data.SRTree.Eval |
| reprPrat | Algorithm.EqSat.EqSatDB |
| Result | Algorithm.SRTree.NonlinearOpt |
| Ret | Data.SRTree.Recursion |
| reverseModeUnique | Algorithm.SRTree.AD |
| rk | Algorithm.SRTree.ConfidenceIntervals |
| rmse | Algorithm.SRTree.Likelihoods |
| RndTree | Data.SRTree.Random |
| ROUNDOFF_LIMITED | Algorithm.SRTree.NonlinearOpt |
| Rule | Algorithm.EqSat.EqSatDB |
| runEqSat | Algorithm.EqSat |
| SBP | Text.ParseSR |
| SBPLX | Algorithm.SRTree.NonlinearOpt |
| Scalar | Algorithm.SRTree.NonlinearOpt |
| ScalarConstraint | Algorithm.SRTree.NonlinearOpt |
| ScalarConstraintD | Algorithm.SRTree.NonlinearOpt |
| Scheduler | Algorithm.EqSat |
| SeedFromTime | Algorithm.SRTree.NonlinearOpt |
| SeedValue | Algorithm.SRTree.NonlinearOpt |
| sequence' | Algorithm.EqSat.Egraph |
| showCI | Algorithm.SRTree.ConfidenceIntervals |
| showExpr | Data.SRTree.Print |
| showExprWithVars | Data.SRTree.Print |
| showLatex | Data.SRTree.Print |
| showOutput | Text.ParseSR |
| showPython | Data.SRTree.Print |
| showTikz | Data.SRTree.Print |
| simplifyEqSatDefault | Algorithm.EqSat.Simplify |
| Sin | Data.SRTree.Internal, Data.SRTree |
| Sinh | Data.SRTree.Internal, Data.SRTree |
| SLSQP | Algorithm.SRTree.NonlinearOpt |
| Solution | |
| 1 (Type/Class) | Algorithm.SRTree.NonlinearOpt |
| 2 (Data Constructor) | Algorithm.SRTree.NonlinearOpt |
| solutionCost | Algorithm.SRTree.NonlinearOpt |
| solutionParams | Algorithm.SRTree.NonlinearOpt |
| solutionResult | Algorithm.SRTree.NonlinearOpt |
| sortOnFirst | Algorithm.SRTree.ConfidenceIntervals |
| source | Algorithm.EqSat.EqSatDB |
| splinesSketches | Algorithm.SRTree.ConfidenceIntervals |
| Sqrt | Data.SRTree.Internal, Data.SRTree |
| Square | Data.SRTree.Internal, Data.SRTree |
| SRAlgs | Text.ParseSR |
| SRMatrix | Data.SRTree.Eval, Algorithm.SRTree.Likelihoods |
| SRTree | Data.SRTree.Internal, Data.SRTree |
| SRVector | Data.SRTree.Eval |
| sse | Algorithm.SRTree.Likelihoods |
| STOGO | Algorithm.SRTree.NonlinearOpt |
| STOGO_RAND | Algorithm.SRTree.NonlinearOpt |
| StoppingCondition | Algorithm.SRTree.NonlinearOpt |
| STOPVAL_REACHED | Algorithm.SRTree.NonlinearOpt |
| stream2list | Data.SRTree.Recursion |
| StreamF | |
| 1 (Type/Class) | Data.SRTree.Recursion |
| 2 (Data Constructor) | Data.SRTree.Recursion |
| Sub | Data.SRTree.Internal, Data.SRTree |
| SUCCESS | Algorithm.SRTree.NonlinearOpt |
| SuccF | Data.SRTree.Recursion |
| Tan | Data.SRTree.Internal, Data.SRTree |
| Tanh | Data.SRTree.Internal, Data.SRTree |
| target | Algorithm.EqSat.EqSatDB |
| TIKZ | Text.ParseSR |
| TIR | Text.ParseSR |
| TNEWTON | Algorithm.SRTree.NonlinearOpt |
| TNEWTON_PRECOND | Algorithm.SRTree.NonlinearOpt |
| TNEWTON_PRECOND_RESTART | Algorithm.SRTree.NonlinearOpt |
| TNEWTON_RESTART | Algorithm.SRTree.NonlinearOpt |
| toList | Data.SRTree.Recursion |
| toNat | Data.SRTree.Recursion |
| TreeF | Data.SRTree.Recursion |
| treeToNat | Algorithm.SRTree.ModelSelection |
| trie | Algorithm.EqSat.EqSatDB |
| unfix | Data.SRTree.Recursion, Data.SRTree.Internal, Data.SRTree |
| unFixPat | Algorithm.EqSat.EqSatDB |
| Uni | Data.SRTree.Internal, Data.SRTree |
| unOp | Data.SRTree.Recursion |
| updateS | Algorithm.Massiv.Utils |
| updateVar | Algorithm.EqSat.EqSatDB |
| UpperBounds | Algorithm.SRTree.NonlinearOpt |
| upperBounds | Algorithm.SRTree.NonlinearOpt |
| upper_ | Algorithm.SRTree.ConfidenceIntervals |
| Var | Data.SRTree.Internal, Data.SRTree |
| var | Data.SRTree.Internal, Data.SRTree |
| VAR1 | Algorithm.SRTree.NonlinearOpt |
| VAR2 | Algorithm.SRTree.NonlinearOpt |
| VarPat | Algorithm.EqSat.EqSatDB |
| Vector | Algorithm.SRTree.NonlinearOpt |
| VectorConstraint | Algorithm.SRTree.NonlinearOpt |
| VectorConstraintD | Algorithm.SRTree.NonlinearOpt |
| VectorStorage | |
| 1 (Type/Class) | Algorithm.SRTree.NonlinearOpt |
| 2 (Data Constructor) | Algorithm.SRTree.NonlinearOpt |
| withInput | Text.ParseSR.IO |
| withOutput | Text.ParseSR.IO |
| withOutputDebug | Text.ParseSR.IO |
| worklist | Algorithm.EqSat.Egraph |
| XTOL_REACHED | Algorithm.SRTree.NonlinearOpt |
| ZeroF | Data.SRTree.Recursion |
| _analysis | Algorithm.EqSat.Egraph |
| _best | Algorithm.EqSat.Egraph |
| _canonicalMap | Algorithm.EqSat.Egraph |
| _consts | Algorithm.EqSat.Egraph |
| _corr | Algorithm.SRTree.ConfidenceIntervals |
| _cost | Algorithm.EqSat.Egraph |
| _cov | Algorithm.SRTree.ConfidenceIntervals |
| _eClass | Algorithm.EqSat.Egraph |
| _eClassId | Algorithm.EqSat.Egraph |
| _eNodes | Algorithm.EqSat.Egraph |
| _eNodeToEClass | Algorithm.EqSat.Egraph |
| _height | Algorithm.EqSat.Egraph |
| _info | Algorithm.EqSat.Egraph |
| _keys | Algorithm.EqSat.EqSatDB |
| _nextId | Algorithm.EqSat.Egraph |
| _opt | Algorithm.SRTree.ConfidenceIntervals |
| _parents | Algorithm.EqSat.Egraph |
| _stdErr | Algorithm.SRTree.ConfidenceIntervals |
| _tau2theta | Algorithm.SRTree.ConfidenceIntervals |
| _taus | Algorithm.SRTree.ConfidenceIntervals |
| _theta2tau | Algorithm.SRTree.ConfidenceIntervals |
| _thetas | Algorithm.SRTree.ConfidenceIntervals |
| _trie | Algorithm.EqSat.EqSatDB |
| _worklist | Algorithm.EqSat.Egraph |