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::constant_folding::ConstantFoldingStats
- optimize::negation::NegationOptStats
- optimize::pipeline::IterationStats
- optimize::pipeline::OptimizationPipeline
- optimize::pipeline::PipelineConfig
- optimize::pipeline::PipelineStats
- passes::cse::CseResult
- passes::diagnostics::Diagnostic
- passes::diagnostics::DiagnosticBuilder
- passes::einsum_opt::EinsumOptResult
- passes::metadata_propagation::MetadataBuilder
- passes::metadata_propagation::MetadataCompilationResult
- passes::post_compilation::PostCompilationOptions
- passes::post_compilation::PostCompilationResult
- 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
Enums
- config::AndStrategy
- config::ExistsStrategy
- config::ForallStrategy
- config::ImplicationStrategy
- config::ModalStrategy
- config::NotStrategy
- config::OrStrategy
- config::TemporalStrategy
- 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_context
- debug::print_context_state
- debug::print_graph_diff
- debug::print_graph_state
- optimize::algebraic::simplify_algebraic
- optimize::constant_folding::fold_constants
- optimize::negation::optimize_negations
- passes::cse::eliminate_common_subexpressions
- 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::metadata_propagation::attach_expr_metadata
- passes::metadata_propagation::propagate_metadata
- passes::post_compilation::post_compilation_passes
- passes::post_compilation::quick_validate
- 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