| :< | Data.SRTree.Recursion |
| :==: | Algorithm.EqSat.DB, Algorithm.EqSat.Simplify |
| :=> | Algorithm.EqSat.DB, Algorithm.EqSat.Simplify |
| :| | |
| 1 (Data Constructor) | Algorithm.SRTree.NonlinearOpt |
| 2 (Data Constructor) | Algorithm.EqSat.DB, Algorithm.EqSat.Simplify |
| 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.Build |
| addToDB | Algorithm.EqSat.Build |
| add_equality_constraint | Numeric.Optimization.NLOPT.Bindings |
| add_equality_mconstraint | Numeric.Optimization.NLOPT.Bindings |
| add_inequality_constraint | Numeric.Optimization.NLOPT.Bindings |
| add_inequality_mconstraint | Numeric.Optimization.NLOPT.Bindings |
| add_precond_equality_constraint | Numeric.Optimization.NLOPT.Bindings |
| add_precond_inequality_constraint | Numeric.Optimization.NLOPT.Bindings |
| aic | Algorithm.SRTree.ModelSelection |
| alalgorithm | Algorithm.SRTree.NonlinearOpt |
| alEquality | Algorithm.SRTree.NonlinearOpt |
| alEqualityD | Algorithm.SRTree.NonlinearOpt |
| Algebra | Data.SRTree.Recursion |
| Algorithm | Numeric.Optimization.NLOPT.Bindings |
| algorithm_name | Numeric.Optimization.NLOPT.Bindings |
| ana | Data.SRTree.Recursion |
| analysis | Algorithm.EqSat.Egraph |
| apo | Data.SRTree.Recursion |
| appendCol | Algorithm.Massiv.Utils |
| appendRow | Algorithm.Massiv.Utils |
| applyMatch | Algorithm.EqSat.Build |
| applyMergeOnlyDftl | Algorithm.EqSat.Simplify |
| applyMergeOnlyMatch | Algorithm.EqSat.Build |
| applySingleMergeOnlyEqSat | Algorithm.EqSat |
| approximateContour | Algorithm.SRTree.ConfidenceIntervals |
| AQ | Data.SRTree.Internal, Data.SRTree |
| 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.DB |
| 2 (Data Constructor) | Algorithm.EqSat.DB |
| AUGLAG | Numeric.Optimization.NLOPT.Bindings |
| AugLagAlgorithm | Algorithm.SRTree.NonlinearOpt |
| AugLagProblem | |
| 1 (Type/Class) | Algorithm.SRTree.NonlinearOpt |
| 2 (Data Constructor) | Algorithm.SRTree.NonlinearOpt |
| AUGLAG_EQ | Numeric.Optimization.NLOPT.Bindings |
| 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 |
| bugfix | Numeric.Optimization.NLOPT.Bindings |
| calcTheta0 | Algorithm.SRTree.ConfidenceIntervals |
| calculateConsts | Algorithm.EqSat.Info |
| calculateCost | Algorithm.EqSat.Info |
| calculateHeights | Algorithm.EqSat.Info |
| canonical | Algorithm.EqSat.Egraph |
| canonicalMap | Algorithm.EqSat.Egraph |
| canonize | Algorithm.EqSat.Egraph |
| canonizeMap | Algorithm.EqSat.Build |
| cata | Data.SRTree.Recursion |
| cataM | Data.SRTree.Recursion |
| Cbrt | Data.SRTree.Internal, Data.SRTree |
| cbrt | Data.SRTree.Eval |
| CCSAQ | Algorithm.SRTree.NonlinearOpt |
| childrenOf | Data.SRTree.Internal, Data.SRTree |
| 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.Build |
| ClassOrVar | Algorithm.EqSat.DB |
| cleanDB | Algorithm.EqSat.DB |
| cleanMaps | Algorithm.EqSat.Build |
| CoAlgebra | Data.SRTree.Recursion |
| COBYLA | Algorithm.SRTree.NonlinearOpt |
| Cofree | Data.SRTree.Recursion |
| combineConsts | Algorithm.EqSat.Info |
| compileToQuery | Algorithm.EqSat.DB |
| compMode | Data.SRTree.Eval |
| Condition | Algorithm.EqSat.DB |
| 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 |
| copy | Numeric.Optimization.NLOPT.Bindings |
| 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 |
| create | Numeric.Optimization.NLOPT.Bindings |
| createDB | Algorithm.EqSat.Build |
| createEClass | Algorithm.EqSat.Egraph |
| createSplines | Algorithm.SRTree.ConfidenceIntervals |
| CRS2_LM | Algorithm.SRTree.NonlinearOpt |
| Cube | Data.SRTree.Internal, Data.SRTree |
| cubicSplineCoefficients | Algorithm.Massiv.Utils |
| DB | Algorithm.EqSat.Egraph |
| decodeEnode | Algorithm.EqSat.Egraph |
| derivative | Data.SRTree.Derivative |
| deriveByParam | Data.SRTree.Derivative |
| deriveByVar | Data.SRTree.Derivative |
| destroy | Numeric.Optimization.NLOPT.Bindings |
| 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.DB |
| 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 | Algorithm.EqSat.Egraph |
| EDB | Algorithm.EqSat.Egraph |
| eDB | Algorithm.EqSat.Egraph |
| EGraph | |
| 1 (Type/Class) | Algorithm.EqSat.Egraph |
| 2 (Data Constructor) | Algorithm.EqSat.Egraph |
| EGraphDB | Algorithm.EqSat.Egraph |
| EGraphST | Algorithm.EqSat.Egraph |
| elemOfAtom | Algorithm.EqSat.DB |
| emptyDB | Algorithm.EqSat.Egraph |
| emptyGraph | Algorithm.EqSat.Egraph |
| encodeEnode | Algorithm.EqSat.Egraph |
| ENode | Algorithm.EqSat.Egraph |
| ENodeEnc | 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 | Numeric.Optimization.NLOPT.Bindings, Algorithm.SRTree.NonlinearOpt |
| findRootClasses | Algorithm.EqSat.Queries |
| fisherNLL | Algorithm.SRTree.Likelihoods |
| fitness | Algorithm.EqSat.Egraph |
| fitRangeDB | Algorithm.EqSat.Egraph |
| 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.DB |
| floatConstsToParam | Data.SRTree.Internal, Data.SRTree |
| FORCED_STOP | Numeric.Optimization.NLOPT.Bindings, Algorithm.SRTree.NonlinearOpt |
| forceState | Algorithm.EqSat.Build |
| force_stop | Numeric.Optimization.NLOPT.Bindings |
| 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.Build |
| fromTrees | Algorithm.EqSat.Build |
| FTOL_REACHED | Numeric.Optimization.NLOPT.Bindings, 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 |
| GD_MLSL | Numeric.Optimization.NLOPT.Bindings |
| GD_MLSL_LDS | Numeric.Optimization.NLOPT.Bindings |
| GD_STOGO | Numeric.Optimization.NLOPT.Bindings |
| GD_STOGO_RAND | Numeric.Optimization.NLOPT.Bindings |
| genericJoin | Algorithm.EqSat.DB |
| genSplineFun | Algorithm.Massiv.Utils |
| getAllExpressionsFrom | Algorithm.EqSat.Build |
| getAllProfiles | Algorithm.SRTree.ConfidenceIntervals |
| getBest | Algorithm.EqSat.Build |
| getChildren | Data.SRTree.Internal, Data.SRTree |
| getChildrenMinHeight | Algorithm.EqSat.Info |
| getCol | Algorithm.SRTree.ConfidenceIntervals |
| getCols | Algorithm.Massiv.Utils |
| getConditions | Algorithm.EqSat.DB |
| getEClass | Algorithm.EqSat.Egraph |
| getEClassesThat | Algorithm.EqSat.Queries |
| getElems | Algorithm.EqSat.DB |
| getEndPoint | Algorithm.SRTree.ConfidenceIntervals |
| getExpressionFrom | Algorithm.EqSat.Build |
| getGreatest | Algorithm.EqSat.Egraph |
| getInt | Algorithm.EqSat.DB |
| getIntConsts | Data.SRTree.Internal, Data.SRTree |
| getOperator | Data.SRTree.Internal, Data.SRTree |
| getProfile | Algorithm.SRTree.ConfidenceIntervals |
| getProfileCnstr | Algorithm.SRTree.ConfidenceIntervals |
| getProfileODE | Algorithm.SRTree.ConfidenceIntervals |
| getRndExpressionFrom | Algorithm.EqSat.Build |
| getRows | Algorithm.Massiv.Utils |
| getSErr | Algorithm.SRTree.Likelihoods |
| getSmallest | Algorithm.EqSat.Egraph |
| getStatsFromModel | Algorithm.SRTree.ConfidenceIntervals |
| getTopECLassThat | Algorithm.EqSat.Queries |
| getTopECLassWithSize | Algorithm.EqSat.Queries |
| getWithinRange | Algorithm.EqSat.Egraph |
| get_algorithm | Numeric.Optimization.NLOPT.Bindings |
| get_dimension | Numeric.Optimization.NLOPT.Bindings |
| get_force_stop | Numeric.Optimization.NLOPT.Bindings |
| get_ftol_abs | Numeric.Optimization.NLOPT.Bindings |
| get_ftol_rel | Numeric.Optimization.NLOPT.Bindings |
| get_initial_step | Numeric.Optimization.NLOPT.Bindings |
| get_lower_bounds | Numeric.Optimization.NLOPT.Bindings |
| get_maxeval | Numeric.Optimization.NLOPT.Bindings |
| get_maxtime | Numeric.Optimization.NLOPT.Bindings |
| get_population | Numeric.Optimization.NLOPT.Bindings |
| get_stopval | Numeric.Optimization.NLOPT.Bindings |
| get_upper_bounds | Numeric.Optimization.NLOPT.Bindings |
| get_vector_storage | Numeric.Optimization.NLOPT.Bindings |
| get_xtol_abs | Numeric.Optimization.NLOPT.Bindings |
| get_xtol_rel | Numeric.Optimization.NLOPT.Bindings |
| GlobalAlgorithm | Algorithm.SRTree.NonlinearOpt |
| GlobalProblem | |
| 1 (Type/Class) | Algorithm.SRTree.NonlinearOpt |
| 2 (Data Constructor) | Algorithm.SRTree.NonlinearOpt |
| GN_CRS2_LM | Numeric.Optimization.NLOPT.Bindings |
| GN_DIRECT | Numeric.Optimization.NLOPT.Bindings |
| GN_DIRECT_L | Numeric.Optimization.NLOPT.Bindings |
| GN_DIRECT_L_NOSCAL | Numeric.Optimization.NLOPT.Bindings |
| GN_DIRECT_L_RAND | Numeric.Optimization.NLOPT.Bindings |
| GN_DIRECT_L_RAND_NOSCAL | Numeric.Optimization.NLOPT.Bindings |
| GN_DIRECT_NOSCAL | Numeric.Optimization.NLOPT.Bindings |
| GN_ESCH | Numeric.Optimization.NLOPT.Bindings |
| GN_ISRES | Numeric.Optimization.NLOPT.Bindings |
| GN_MLSL | Numeric.Optimization.NLOPT.Bindings |
| GN_MLSL_LDS | Numeric.Optimization.NLOPT.Bindings |
| GN_ORIG_DIRECT | Numeric.Optimization.NLOPT.Bindings |
| GN_ORIG_DIRECT_L | Numeric.Optimization.NLOPT.Bindings |
| GOMEA | Text.ParseSR |
| gradNLL | Algorithm.SRTree.Likelihoods |
| gradNLLArr | Algorithm.SRTree.Likelihoods |
| gradNLLNonUnique | Algorithm.SRTree.Likelihoods |
| gstop | Algorithm.SRTree.NonlinearOpt |
| G_MLSL | Numeric.Optimization.NLOPT.Bindings |
| G_MLSL_LDS | Numeric.Optimization.NLOPT.Bindings |
| 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 |
| insertFitness | Algorithm.EqSat.Info |
| insertRange | Algorithm.EqSat.Egraph |
| intersectAtoms | Algorithm.EqSat.DB |
| intersectTries | Algorithm.EqSat.DB |
| IntTrie | |
| 1 (Type/Class) | Algorithm.EqSat.Egraph |
| 2 (Data Constructor) | Algorithm.EqSat.Egraph |
| INVALID_ARGS | Numeric.Optimization.NLOPT.Bindings, 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.Egraph |
| isDiffFrom | Algorithm.EqSat.DB |
| ISRES | Algorithm.SRTree.NonlinearOpt |
| isSuccess | Numeric.Optimization.NLOPT.Bindings |
| isValidConditions | Algorithm.EqSat.Build |
| isValidHeight | Algorithm.EqSat.Build |
| joinData | Algorithm.EqSat.Info |
| lalgorithm | Algorithm.SRTree.NonlinearOpt |
| Laplace | Algorithm.SRTree.ConfidenceIntervals |
| LATEX | Text.ParseSR |
| LBFGS | Algorithm.SRTree.NonlinearOpt |
| LBFGS_NOCEDAL | Algorithm.SRTree.NonlinearOpt |
| LD_AUGLAG | Numeric.Optimization.NLOPT.Bindings |
| LD_AUGLAG_EQ | Numeric.Optimization.NLOPT.Bindings |
| LD_CCSAQ | Numeric.Optimization.NLOPT.Bindings |
| LD_LBFGS | Numeric.Optimization.NLOPT.Bindings |
| LD_LBFGS_NOCEDAL | Numeric.Optimization.NLOPT.Bindings |
| LD_MMA | Numeric.Optimization.NLOPT.Bindings |
| LD_SLSQP | Numeric.Optimization.NLOPT.Bindings |
| LD_TNEWTON | Numeric.Optimization.NLOPT.Bindings |
| LD_TNEWTON_PRECOND | Numeric.Optimization.NLOPT.Bindings |
| LD_TNEWTON_PRECOND_RESTART | Numeric.Optimization.NLOPT.Bindings |
| LD_TNEWTON_RESTART | Numeric.Optimization.NLOPT.Bindings |
| LD_VAR1 | Numeric.Optimization.NLOPT.Bindings |
| LD_VAR2 | Numeric.Optimization.NLOPT.Bindings |
| LeafF | Data.SRTree.Recursion |
| linSpace | Algorithm.Massiv.Utils |
| ListF | Data.SRTree.Recursion |
| LN_AUGLAG | Numeric.Optimization.NLOPT.Bindings |
| LN_AUGLAG_EQ | Numeric.Optimization.NLOPT.Bindings |
| LN_BOBYQA | Numeric.Optimization.NLOPT.Bindings |
| LN_COBYLA | Numeric.Optimization.NLOPT.Bindings |
| LN_NELDERMEAD | Numeric.Optimization.NLOPT.Bindings |
| LN_NEWUOA | Numeric.Optimization.NLOPT.Bindings |
| LN_NEWUOA_BOUND | Numeric.Optimization.NLOPT.Bindings |
| LN_PRAXIS | Numeric.Optimization.NLOPT.Bindings |
| LN_SBPLX | Numeric.Optimization.NLOPT.Bindings |
| 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 |
| LogAbs | 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 |
| major | Numeric.Optimization.NLOPT.Bindings |
| makeAnalysis | Algorithm.EqSat.Info |
| match | Algorithm.EqSat.DB |
| matchWithScheduler | Algorithm.EqSat |
| MATH | Text.ParseSR |
| MAXEVAL_REACHED | Numeric.Optimization.NLOPT.Bindings, Algorithm.SRTree.NonlinearOpt |
| MaximumEvaluations | Algorithm.SRTree.NonlinearOpt |
| MaximumTime | Algorithm.SRTree.NonlinearOpt |
| MAXTIME_REACHED | Numeric.Optimization.NLOPT.Bindings, Algorithm.SRTree.NonlinearOpt |
| mdl | Algorithm.SRTree.ModelSelection |
| mdlFreq | Algorithm.SRTree.ModelSelection |
| mdlLatt | Algorithm.SRTree.ModelSelection |
| merge | Algorithm.EqSat.Build |
| 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 |
| minor | Numeric.Optimization.NLOPT.Bindings |
| MkStats | Algorithm.SRTree.ConfidenceIntervals |
| MLSL | Algorithm.SRTree.NonlinearOpt |
| MLSL_LDS | Algorithm.SRTree.NonlinearOpt |
| MMA | Algorithm.SRTree.NonlinearOpt |
| MMassArray | Algorithm.Massiv.Utils |
| modifyEClass | Algorithm.EqSat.Build |
| 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 |
| Opt | Numeric.Optimization.NLOPT.Bindings |
| optimize | Numeric.Optimization.NLOPT.Bindings |
| orderedVars | Algorithm.EqSat.DB |
| ORIG_DIRECT | Algorithm.SRTree.NonlinearOpt |
| ORIG_DIRECT_L | Algorithm.SRTree.NonlinearOpt |
| outer | Algorithm.Massiv.Utils |
| Output | |
| 1 (Type/Class) | Numeric.Optimization.NLOPT.Bindings |
| 2 (Data Constructor) | Numeric.Optimization.NLOPT.Bindings |
| 3 (Type/Class) | Text.ParseSR |
| OUT_OF_MEMORY | Numeric.Optimization.NLOPT.Bindings, 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 |
| patDB | Algorithm.EqSat.Egraph |
| Pattern | Algorithm.EqSat.DB |
| Poisson | Algorithm.SRTree.Likelihoods |
| PolyCos | Algorithm.Massiv.Utils |
| populate | Algorithm.EqSat.Build |
| Population | |
| 1 (Type/Class) | Algorithm.SRTree.NonlinearOpt |
| 2 (Data Constructor) | Algorithm.SRTree.NonlinearOpt |
| Positive | Algorithm.EqSat.Egraph |
| Power | Data.SRTree.Internal, Data.SRTree |
| PowerAbs | Data.SRTree.Internal, Data.SRTree |
| PRAXIS | Algorithm.SRTree.NonlinearOpt |
| Preconditioned | Algorithm.SRTree.NonlinearOpt |
| Preconditioner | Algorithm.SRTree.NonlinearOpt |
| PreconditionerFunction | Numeric.Optimization.NLOPT.Bindings |
| 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.DB |
| r2 | Algorithm.SRTree.Likelihoods |
| 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 |
| RangeTree | Algorithm.EqSat.Egraph |
| Real | Algorithm.EqSat.Egraph |
| rebuild | Algorithm.EqSat.Build |
| recalculateBest | Algorithm.EqSat |
| Recip | Data.SRTree.Internal, Data.SRTree |
| relabelParams | Data.SRTree.Internal, Data.SRTree |
| relabelVars | Data.SRTree.Internal, Data.SRTree |
| removeRange | Algorithm.EqSat.Egraph |
| remove_equality_constraints | Numeric.Optimization.NLOPT.Bindings |
| remove_inequality_constraints | Numeric.Optimization.NLOPT.Bindings |
| repair | Algorithm.EqSat.Build |
| repairAnalysis | Algorithm.EqSat.Build |
| replaceChildren | Data.SRTree.Internal, Data.SRTree |
| replaceParam0 | Algorithm.SRTree.ConfidenceIntervals |
| replicateAs | Data.SRTree.Eval |
| reprPrat | Algorithm.EqSat.Build |
| Result | Numeric.Optimization.NLOPT.Bindings, Algorithm.SRTree.NonlinearOpt |
| resultCode | Numeric.Optimization.NLOPT.Bindings |
| resultCost | Numeric.Optimization.NLOPT.Bindings |
| resultParameters | Numeric.Optimization.NLOPT.Bindings |
| Ret | Data.SRTree.Recursion |
| reverseModeUnique | Algorithm.SRTree.AD |
| reverseModeUniqueArr | Algorithm.SRTree.AD |
| rewriteBasic | Algorithm.EqSat.Simplify |
| rewrites | Algorithm.EqSat.Simplify |
| rewritesFun | Algorithm.EqSat.Simplify |
| rk | Algorithm.SRTree.ConfidenceIntervals |
| rmse | Algorithm.SRTree.Likelihoods |
| RndTree | Data.SRTree.Random |
| ROUNDOFF_LIMITED | Numeric.Optimization.NLOPT.Bindings, Algorithm.SRTree.NonlinearOpt |
| Rule | Algorithm.EqSat.DB, Algorithm.EqSat.Simplify |
| runEqSat | Algorithm.EqSat |
| SBP | Text.ParseSR |
| SBPLX | Algorithm.SRTree.NonlinearOpt |
| Scalar | Algorithm.SRTree.NonlinearOpt |
| ScalarConstraint | Algorithm.SRTree.NonlinearOpt |
| ScalarConstraintD | Algorithm.SRTree.NonlinearOpt |
| ScalarFunction | Numeric.Optimization.NLOPT.Bindings |
| Scheduler | Algorithm.EqSat |
| SeedFromTime | Algorithm.SRTree.NonlinearOpt |
| SeedValue | Algorithm.SRTree.NonlinearOpt |
| set_default_initial_step | Numeric.Optimization.NLOPT.Bindings |
| set_force_stop | Numeric.Optimization.NLOPT.Bindings |
| set_ftol_abs | Numeric.Optimization.NLOPT.Bindings |
| set_ftol_rel | Numeric.Optimization.NLOPT.Bindings |
| set_initial_step | Numeric.Optimization.NLOPT.Bindings |
| set_initial_step1 | Numeric.Optimization.NLOPT.Bindings |
| set_local_optimizer | Numeric.Optimization.NLOPT.Bindings |
| set_lower_bounds | Numeric.Optimization.NLOPT.Bindings |
| set_lower_bounds1 | Numeric.Optimization.NLOPT.Bindings |
| set_maxeval | Numeric.Optimization.NLOPT.Bindings |
| set_maxtime | Numeric.Optimization.NLOPT.Bindings |
| set_max_objective | Numeric.Optimization.NLOPT.Bindings |
| set_min_objective | Numeric.Optimization.NLOPT.Bindings |
| set_population | Numeric.Optimization.NLOPT.Bindings |
| set_precond_max_objective | Numeric.Optimization.NLOPT.Bindings |
| set_precond_min_objective | Numeric.Optimization.NLOPT.Bindings |
| set_stopval | Numeric.Optimization.NLOPT.Bindings |
| set_upper_bounds | Numeric.Optimization.NLOPT.Bindings |
| set_upper_bounds1 | Numeric.Optimization.NLOPT.Bindings |
| set_vector_storage | Numeric.Optimization.NLOPT.Bindings |
| set_xtol_abs | Numeric.Optimization.NLOPT.Bindings |
| set_xtol_abs1 | Numeric.Optimization.NLOPT.Bindings |
| set_xtol_rel | Numeric.Optimization.NLOPT.Bindings |
| 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 |
| size | Algorithm.EqSat.Egraph |
| sizeDB | Algorithm.EqSat.Egraph |
| sizeFitDB | Algorithm.EqSat.Egraph |
| 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.DB |
| splinesSketches | Algorithm.SRTree.ConfidenceIntervals |
| Sqrt | Data.SRTree.Internal, Data.SRTree |
| SqrtAbs | Data.SRTree.Internal, Data.SRTree |
| Square | Data.SRTree.Internal, Data.SRTree |
| SRAlgs | Text.ParseSR |
| srand | Numeric.Optimization.NLOPT.Bindings |
| srand_time | Numeric.Optimization.NLOPT.Bindings |
| 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 | Numeric.Optimization.NLOPT.Bindings, 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 | Numeric.Optimization.NLOPT.Bindings, Algorithm.SRTree.NonlinearOpt |
| SuccF | Data.SRTree.Recursion |
| Tan | Data.SRTree.Internal, Data.SRTree |
| Tanh | Data.SRTree.Internal, Data.SRTree |
| target | Algorithm.EqSat.DB |
| theta | Algorithm.EqSat.Egraph |
| 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 |
| tree2arr | Algorithm.SRTree.Opt |
| TreeF | Data.SRTree.Recursion |
| treeToNat | Algorithm.SRTree.ModelSelection |
| trie | Algorithm.EqSat.Egraph |
| unevaluated | Algorithm.EqSat.Egraph |
| unfix | Data.SRTree.Recursion, Data.SRTree.Internal, Data.SRTree |
| unFixPat | Algorithm.EqSat.DB |
| Uni | Data.SRTree.Internal, Data.SRTree |
| unOp | Data.SRTree.Recursion |
| updateFitness | Algorithm.EqSat.Queries |
| updateS | Algorithm.Massiv.Utils |
| updateVar | Algorithm.EqSat.DB |
| 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.DB |
| Vector | Algorithm.SRTree.NonlinearOpt |
| VectorConstraint | Algorithm.SRTree.NonlinearOpt |
| VectorConstraintD | Algorithm.SRTree.NonlinearOpt |
| VectorFunction | Numeric.Optimization.NLOPT.Bindings |
| VectorStorage | |
| 1 (Type/Class) | Algorithm.SRTree.NonlinearOpt |
| 2 (Data Constructor) | Algorithm.SRTree.NonlinearOpt |
| Version | |
| 1 (Type/Class) | Numeric.Optimization.NLOPT.Bindings |
| 2 (Data Constructor) | Numeric.Optimization.NLOPT.Bindings |
| version | Numeric.Optimization.NLOPT.Bindings |
| withInput | Text.ParseSR.IO |
| withOutput | Text.ParseSR.IO |
| withOutputDebug | Text.ParseSR.IO |
| worklist | Algorithm.EqSat.Egraph |
| XTOL_REACHED | Numeric.Optimization.NLOPT.Bindings, 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 |
| _eDB | Algorithm.EqSat.Egraph |
| _eNodes | Algorithm.EqSat.Egraph |
| _eNodeToEClass | Algorithm.EqSat.Egraph |
| _fitness | Algorithm.EqSat.Egraph |
| _fitRangeDB | Algorithm.EqSat.Egraph |
| _height | Algorithm.EqSat.Egraph |
| _info | Algorithm.EqSat.Egraph |
| _keys | Algorithm.EqSat.Egraph |
| _nextId | Algorithm.EqSat.Egraph |
| _opt | Algorithm.SRTree.ConfidenceIntervals |
| _parents | Algorithm.EqSat.Egraph |
| _patDB | Algorithm.EqSat.Egraph |
| _size | Algorithm.EqSat.Egraph |
| _sizeDB | Algorithm.EqSat.Egraph |
| _sizeFitDB | Algorithm.EqSat.Egraph |
| _stdErr | Algorithm.SRTree.ConfidenceIntervals |
| _tau2theta | Algorithm.SRTree.ConfidenceIntervals |
| _taus | Algorithm.SRTree.ConfidenceIntervals |
| _theta | Algorithm.EqSat.Egraph |
| _theta2tau | Algorithm.SRTree.ConfidenceIntervals |
| _thetas | Algorithm.SRTree.ConfidenceIntervals |
| _trie | Algorithm.EqSat.Egraph |
| _unevaluated | Algorithm.EqSat.Egraph |
| _worklist | Algorithm.EqSat.Egraph |