List of all items

Structs

• CompilerContext
• DomainInfo
• PredicateInfo
• SymbolTable
• cache::CacheStats
• cache::CompilationCache
• compile::custom_ops::CustomOpData
• compile::custom_ops::CustomOpMetadata
• compile::custom_ops::CustomOpRegistry
• compile::custom_ops::ExtendedCompilerContext
• config::CompilationConfig
• config::CompilationConfigBuilder
• debug::CompilationStep
• debug::CompilationTrace
• debug::CompilationTracer
• debug::StepState
• incremental::ChangeDetector
• incremental::ChangeSet
• incremental::ExpressionDependencies
• incremental::IncrementalCompiler
• incremental::IncrementalStats
• optimize::algebraic::AlgebraicSimplificationStats
• 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
• 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
• profiling::CacheStats
• profiling::CompilationProfiler
• profiling::MemorySnapshot
• profiling::PassProfile
• profiling::PhaseTime
• profiling::ProfileConfig

Enums

• config::AndStrategy
• config::ExistsStrategy
• config::ForallStrategy
• config::ImplicationStrategy
• config::ModalStrategy
• config::NotStrategy
• config::OrStrategy
• config::TemporalStrategy
• optimize::cost_based::RewriteRule
• passes::advanced_analysis::RecommendationCategory
• passes::diagnostics::DiagnosticLevel
• passes::scope_analysis::ScopeType
• passes::strategy_selection::OptimizationGoal

Functions

• 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
• debug::print_context_state
• debug::print_graph_diff
• debug::print_graph_state
• import::parse_auto
• import::prolog::parse_prolog
• import::sexpr::parse_sexpr
• import::tptp::parse_tptp
• optimize::algebraic::simplify_algebraic
• 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
• 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

Type Aliases

• compile::custom_ops::CustomOpHandler