List of all items

Structs

• CompilerContext
• DomainInfo
• PredicateInfo
• SymbolTable
• bytecode::BytecodeProgram
• bytecode::VmEnv
• bytecode::VmStats
• cache::CacheStats
• cache::CachedResult
• cache::CachingCompiler
• cache::CompilationCache
• cache::ExprFingerprint
• cache::LruCompilationCache
• compile::custom_ops::CustomOpData
• compile::custom_ops::CustomOpMetadata
• compile::custom_ops::CustomOpRegistry
• compile::custom_ops::ExtendedCompilerContext
• complexity::BatchComplexityStats
• complexity::ComplexityComparison
• complexity::ComplexityThresholds
• complexity::ComplexityWarning
• complexity::ExprComplexity
• config::CompilationConfig
• config::CompilationConfigBuilder
• const_prop::ConstPropConfig
• const_prop::ConstPropStats
• const_prop::ConstantPropagator
• dead_code::DceConfig
• dead_code::DceStats
• dead_code::DeadCodeEliminator
• debug::CompilationStep
• debug::CompilationTrace
• debug::CompilationTracer
• debug::StepState
• error_recovery::Diagnostic
• error_recovery::DiagnosticCollector
• error_recovery::PartialCompilationResult
• error_recovery::SourceSpan
• error_recovery::TolerantCompiler
• expr_diff::DiffEntry
• expr_diff::ExprDiff
• incremental::ChangeDetector
• incremental::ChangeSet
• incremental::ExpressionDependencies
• incremental::IncrementalCompiler
• incremental::IncrementalStats
• inline::config::InlineConfig
• inline::config::InlineStats
• inline::traversal::LetInliner
• jit::JitCompiler
• jit::JitStats
• optimize::algebraic::AlgebraicSimplificationStats
• optimize::canonical::CanonicalStats
• optimize::canonical::Canonicalizer
• optimize::complexity::CostWeights
• optimize::complexity::ExpressionComplexity
• optimize::constant_folding::ConstantFoldingStats
• optimize::cost_based::CostBasedOptimizer
• optimize::cost_based::CostBasedStats
• optimize::dead_code::DeadCodeStats
• optimize::distributivity::DistributivityStats
• optimize::memory_estimation::MemoryEstimate
• optimize::negation::NegationOptStats
• optimize::pipeline::IterationStats
• optimize::pipeline::OptimizationPipeline
• optimize::pipeline::PipelineConfig
• optimize::pipeline::PipelineStats
• optimize::quantifier_opt::QuantifierOptStats
• optimize::strength_reduction::StrengthReductionStats
• partial_eval::PEConfig
• partial_eval::PEEnv
• partial_eval::PEResult
• partial_eval::PEStats
• passes::advanced_analysis::AnalysisReport
• passes::advanced_analysis::OptimizationRecommendation
• passes::advanced_analysis::ParallelOpportunity
• passes::contraction_opt::ContractionOptConfig
• passes::contraction_opt::ContractionOptStats
• passes::contraction_opt::ContractionPath
• passes::contraction_opt::TensorShape
• passes::cse::CseResult
• passes::dataflow::DataflowAnalysis
• passes::dataflow::DataflowConfig
• passes::dataflow::GraphDataflow
• passes::diagnostics::Diagnostic
• passes::diagnostics::DiagnosticBuilder
• passes::einsum_opt::EinsumOptResult
• passes::graph_opt_integration::GraphOptConfig
• passes::graph_opt_integration::GraphOptStats
• passes::loop_fusion::LoopFusionConfig
• passes::loop_fusion::LoopFusionStats
• passes::metadata_propagation::MetadataBuilder
• passes::metadata_propagation::MetadataCompilationResult
• passes::post_compilation::PostCompilationOptions
• passes::post_compilation::PostCompilationResult
• passes::reachability::DominanceAnalysis
• passes::reachability::ReachabilityAnalysis
• passes::scope_analysis::ScopeAnalysisResult
• passes::scope_analysis::TypeConflict
• passes::scope_analysis::VariableScope
• passes::strategy_selection::ExpressionProfile
• passes::strategy_selection::StrategyRecommendation
• passes::type_checking::TypeChecker
• passes::validation::ValidationResult
• pipeline::CompilerPassStats
• pipeline::CompilerPipeline
• pipeline::CompilerPipelineConfig
• pipeline::CompilerPipelineResult
• pipeline::CompilerPipelineStats
• pipeline::PassBenchmark
• profiling::CompilationProfiler
• profiling::ProfileEntry
• profiling::ProfileReport
• rewrite::EliminateAndTrue
• rewrite::EliminateDoubleNeg
• rewrite::EliminateOrFalse
• rewrite::FlattenNestedAnd
• rewrite::FlattenNestedOr
• rewrite::RewriteEngine
• rewrite::RewriteStats
• symbolic_diff::DiffConfig
• symbolic_diff::DiffResult
• type_infer::Substitution
• type_infer::TyVarCounter
• type_infer::TypeEnv
• type_infer::TypeInferResult
• type_infer::TypedExpr

Enums

• bytecode::CompileError
• bytecode::Instruction
• bytecode::VmError
• bytecode::VmValue
• complexity::WarningSeverity
• config::AndStrategy
• config::ExistsStrategy
• config::ForallStrategy
• config::ImplicationStrategy
• config::ModalStrategy
• config::NotStrategy
• config::OrStrategy
• config::TemporalStrategy
• error_recovery::RecoveryAction
• error_recovery::RecoveryStrategy
• error_recovery::Severity
• expr_diff::DiffKind
• jit::JitError
• optimize::cost_based::RewriteRule
• partial_eval::PEValue
• passes::advanced_analysis::RecommendationCategory
• passes::diagnostics::DiagnosticLevel
• passes::scope_analysis::ScopeType
• passes::strategy_selection::OptimizationGoal
• pipeline::CompilerPassId
• pipeline::CompilerPassOrder
• symbolic_diff::DiffError
• type_infer::TLType
• type_infer::TypeInferError

Traits

• rewrite::RewriteRule

Functions

• bytecode::compile
• bytecode::compile_with_config
• bytecode::execute
• bytecode::execute_with_stats
• compile::custom_ops::presets::create_soft_threshold_and
• compile::custom_ops::presets::create_weighted_or
• compile_to_einsum
• compile_to_einsum_with_config
• compile_to_einsum_with_context
• complexity::check_complexity
• debug::print_context_state
• debug::print_graph_diff
• debug::print_graph_state
• error_recovery::compile_tolerant
• error_recovery::compile_tolerant_with_strategy
• expr_diff::expr_diff
• expr_diff::expr_type_tag
• import::parse_auto
• import::prolog::parse_prolog
• import::sexpr::parse_sexpr
• import::tptp::parse_tptp
• inline::helpers::count_free_occurrences
• inline::helpers::count_nodes
• inline::helpers::expr_depth
• inline::helpers::is_constant_binding
• inline::helpers::is_simple_binding
• inline::helpers::is_var_binding
• inline::substitute::substitute
• optimize::algebraic::simplify_algebraic
• optimize::canonical::canonical_order_key
• optimize::canonical::canonicalize
• optimize::complexity::analyze_complexity
• optimize::complexity::compare_complexity
• optimize::constant_folding::fold_constants
• optimize::cost_based::optimize_by_cost
• optimize::cost_based::optimize_by_cost_with_config
• optimize::dead_code::eliminate_dead_code
• optimize::distributivity::optimize_distributivity
• optimize::memory_estimation::estimate_batch_memory
• optimize::memory_estimation::estimate_memory
• optimize::negation::optimize_negations
• optimize::quantifier_opt::optimize_quantifiers
• optimize::strength_reduction::reduce_strength
• partial_eval::partially_evaluate
• partial_eval::specialize
• partial_eval::specialize_batch
• passes::advanced_analysis::analyze_graph
• passes::advanced_analysis::print_report
• passes::advanced_analysis::quick_analyze
• passes::contraction_opt::analyze_contraction_path
• passes::contraction_opt::optimize_contractions
• passes::contraction_opt::optimize_contractions_with_config
• passes::cse::eliminate_common_subexpressions
• passes::dataflow::analyze_dataflow
• passes::dataflow::analyze_dataflow_with_config
• passes::dataflow::analyze_graph_dataflow
• passes::diagnostics::create_detailed_error
• passes::diagnostics::diagnose_expression
• passes::diagnostics::enhance_error
• passes::diagnostics::pretty_print_expr
• passes::einsum_opt::optimize_einsum_graph
• passes::graph_opt_integration::apply_graph_optimizations
• passes::graph_opt_integration::apply_pattern_optimizations
• passes::graph_opt_integration::quick_optimize
• passes::graph_opt_integration::recommend_optimizations
• passes::loop_fusion::estimate_fusion_benefit
• passes::loop_fusion::fuse_loops
• passes::loop_fusion::fuse_loops_with_config
• passes::metadata_propagation::attach_expr_metadata
• passes::metadata_propagation::propagate_metadata
• passes::post_compilation::post_compilation_passes
• passes::post_compilation::quick_validate
• passes::reachability::analyze_dominance
• passes::reachability::analyze_reachability
• passes::scope_analysis::analyze_scopes
• passes::scope_analysis::suggest_quantifiers
• passes::scope_analysis::validate_scopes
• passes::strategy_selection::recommend_strategy
• passes::symbol_integration::build_signature_registry
• passes::symbol_integration::create_predicate_info
• passes::symbol_integration::export_domains
• passes::symbol_integration::import_domains
• passes::symbol_integration::sync_context_with_symbol_table
• passes::type_checking::infer_types
• passes::validation::validate_arity
• passes::validation::validate_expression
• passes::validation::validate_expression_with_types
• profiling::profile_phase
• rewrite::builtin_rules
• symbolic_diff::differentiate
• symbolic_diff::jacobian
• symbolic_diff::simplify_derivative
• type_infer::annotate
• type_infer::infer
• type_infer::infer_type
• type_infer::unify

Type Aliases

• compile::custom_ops::CustomOpHandler

Constants

• bytecode::DEFAULT_MAX_DEPTH