List of all items
Structs
- ast::ast_utils::ASTUtilConfig
- backends::rust_codegen::CompiledRustFunction
- backends::rust_codegen::MixedInputSpec
- backends::rust_codegen::RustCodeGenerator
- backends::rust_codegen::RustCodegenConfig
- backends::rust_codegen::RustCompiler
- backends::rust_codegen::ScalarInputSpec
- compile_time::Add
- compile_time::Const
- compile_time::ConstantValue
- compile_time::Cos
- compile_time::Div
- compile_time::Exp
- compile_time::Ln
- compile_time::Mul
- compile_time::Neg
- compile_time::Pow
- compile_time::Sin
- compile_time::Sqrt
- compile_time::Sub
- compile_time::Var
- compile_time::scoped::ComposedAdd
- compile_time::scoped::ComposedExpr
- compile_time::scoped::ComposedMul
- compile_time::scoped::ScopedAdd
- compile_time::scoped::ScopedConst
- compile_time::scoped::ScopedConstValue
- compile_time::scoped::ScopedCos
- compile_time::scoped::ScopedDiv
- compile_time::scoped::ScopedExp
- compile_time::scoped::ScopedLn
- compile_time::scoped::ScopedMul
- compile_time::scoped::ScopedNeg
- compile_time::scoped::ScopedPow
- compile_time::scoped::ScopedSin
- compile_time::scoped::ScopedSqrt
- compile_time::scoped::ScopedSub
- compile_time::scoped::ScopedVar
- compile_time::scoped::ScopedVarArray
- expr::Expr
- final_tagless::ASTFunction
- final_tagless::IntRange
- final_tagless::interpreters::ast_eval::ASTEval
- final_tagless::interpreters::direct_eval::DirectEval
- final_tagless::interpreters::pretty_print::PrettyPrint
- final_tagless::variables::typed_builder::ExpressionBuilder
- final_tagless::variables::typed_builder::TypedBuilderExpr
- final_tagless::variables::typed_registry::TypedVar
- final_tagless::variables::typed_registry::VariableRegistry
- interval_domain::IntervalDomainAnalyzer
- symbolic::anf::ANFCodeGen
- symbolic::anf::ANFConverter
- symbolic::anf::ANFVarGen
- symbolic::anf::DomainAwareANFConverter
- symbolic::anf::DomainAwareOptimizationStats
- symbolic::native_egglog::NativeEgglogOptimizer
- symbolic::power_utils::PowerOptConfig
- symbolic::power_utils::PowerOptimizationInfo
- symbolic::rule_loader::RuleConfig
- symbolic::rule_loader::RuleLoader
- symbolic::summation::ConvergenceAnalyzer
- symbolic::summation::ConvergenceConfig
- symbolic::summation::MultiDimFunction
- symbolic::summation::MultiDimRange
- symbolic::summation::MultiDimSumResult
- symbolic::summation::SumResult
- symbolic::summation::SummationConfig
- symbolic::summation::SummationSimplifier
- symbolic::symbolic::ExpressionStats
- symbolic::symbolic::OptimizationConfig
- symbolic::symbolic::OptimizationStats
- symbolic::symbolic::SymbolicOptimizer
- symbolic::symbolic_ad::FunctionWithDerivatives
- symbolic::symbolic_ad::SymbolicAD
- symbolic::symbolic_ad::SymbolicADConfig
- symbolic::symbolic_ad::SymbolicADStats
Enums
- ast::ast_repr::ASTRepr
- backends::BackendType
- backends::rust_codegen::FunctionInput
- backends::rust_codegen::FunctionSignature
- backends::rust_codegen::RuntimeCallSpec
- backends::rust_codegen::RustOptLevel
- error::DSLCompileError
- final_tagless::variables::typed_registry::TypeCategory
- interval_domain::Endpoint
- interval_domain::IntervalDomain
- symbolic::anf::ANFAtom
- symbolic::anf::ANFComputation
- symbolic::anf::ANFExpr
- symbolic::anf::StructuralHash
- symbolic::anf::VarRef
- symbolic::power_utils::PowerStrategy
- symbolic::rule_loader::RuleCategory
- symbolic::summation::ConvergenceResult
- symbolic::summation::ConvergenceTest
- symbolic::summation::SummationPattern
- symbolic::symbolic::CompilationApproach
- symbolic::symbolic::CompilationStrategy
Traits
- backends::CompilationBackend
- backends::rust_codegen::CompiledFunction
- backends::rust_codegen::InputSpec
- compile_time::MathExpr
- compile_time::Optimize
- compile_time::optimized::ToAst
- compile_time::scoped::ScopeCompose
- compile_time::scoped::ScopedMathExpr
- final_tagless::traits::ASTMathExpr
- final_tagless::traits::FloatType
- final_tagless::traits::IntType
- final_tagless::traits::MathExpr
- final_tagless::traits::NumericType
- final_tagless::traits::PromoteTo
- final_tagless::traits::RangeType
- final_tagless::traits::StatisticalExpr
- final_tagless::traits::SummandFunction
- final_tagless::traits::SummationExpr
- final_tagless::traits::UIntType
- symbolic::symbolic::OptimizeExpr
Macros
Functions
- ast::ast_utils::collect_variable_indices
- ast::ast_utils::combine_expressions_with_remapping
- ast::ast_utils::contains_variable_by_index
- ast::ast_utils::count_nodes
- ast::ast_utils::expression_depth
- ast::ast_utils::expressions_equal
- ast::ast_utils::expressions_equal_default
- ast::ast_utils::extract_constant
- ast::ast_utils::extract_variable_index
- ast::ast_utils::generate_variable_names
- ast::ast_utils::is_constant
- ast::ast_utils::is_one
- ast::ast_utils::is_variable
- ast::ast_utils::is_zero
- ast::ast_utils::remap_variables
- ast::ast_utils::transform_expression
- ast::ast_utils::traverse_expression
- ast::normalization::count_operations
- ast::normalization::denormalize
- ast::normalization::is_canonical
- ast::normalization::normalize
- ast::pretty::pretty_anf
- ast::pretty::pretty_ast
- compile_time::constant
- compile_time::one
- compile_time::optimized::apply_simple_optimizations
- compile_time::optimized::equality_saturation
- compile_time::optimized::eval_ast
- compile_time::optimized::generate_direct_code
- compile_time::scoped::compose
- compile_time::scoped::scoped_constant
- compile_time::scoped::scoped_var
- compile_time::var
- compile_time::zero
- final_tagless::polynomial::from_roots
- final_tagless::polynomial::horner
- final_tagless::polynomial::horner_derivative
- final_tagless::polynomial::horner_expr
- symbolic::anf::convert_to_anf
- symbolic::anf::generate_rust_code
- symbolic::native_egglog::optimize_with_native_egglog
- symbolic::power_utils::analyze_power_optimization
- symbolic::power_utils::determine_power_strategy
- symbolic::power_utils::generate_integer_power_string
- symbolic::power_utils::generate_repeated_squaring_string
- symbolic::power_utils::try_convert_to_integer
- symbolic::symbolic_ad::convenience::gradient
- symbolic::symbolic_ad::convenience::hessian
- symbolic::symbolic_ad::convenience::poly