List of all items
Structs
- NeuroSymbolicEngine
- constraint::BasicConstraintChecker
- constraint::ConstraintCheckResult
- constraint::ConstraintContext
- generator::NeuralTheoryGenerator
- generator::Shape
- generator::Tensor
- generator::TheoryGeneratorConfig
- hybrid::HybridConfig
- hybrid::HybridMetrics
- hybrid::HybridReasoningBuilder
- hybrid::HybridReasoningEngine
- hybrid::LearningSample
- ir::ConstraintIR
- ir::Objective
- ir::VarId
- ir::Variable
- ir::VariableMetadata
- learning::ConstraintLearner
- learning::ConstraintPattern
- learning::ConstraintTemplate
- learning::LearningConfig
- learning::LearningStats
- learning::PatternMetrics
- learning::SolutionHistory
- learning::VariableRelation
- lightning_strike::Artifact
- lightning_strike::CognitiveBranch
- lightning_strike::CognitiveConfig
- lightning_strike::CognitiveInsights
- lightning_strike::ContributionMetrics
- lightning_strike::LightningStrikeEngine
- lightning_strike::PausedPath
- meta_reasoning::ConstraintCharacteristics
- meta_reasoning::MetaAnalysis
- meta_reasoning::MetaReasoningConfig
- meta_reasoning::MetaReasoningEngine
- meta_reasoning::MetaReasoningInsights
- meta_reasoning::PerformanceFactor
- meta_reasoning::PredictedPerformance
- meta_reasoning::ReasoningSession
- meta_reasoning::SessionPerformance
- meta_reasoning::StrategyPattern
- meta_reasoning::StrategyPerformanceStats
- meta_reasoning::StrategyRecommendation
- optimization::BackendPerformance
- optimization::BackendSelector
- optimization::ExpectedPerformance
- optimization::OptimizationConfig
- optimization::OptimizationParameters
- optimization::OptimizationRecommendation
- optimization::ParameterTuner
- optimization::PerformanceOptimizer
- optimization::WorkloadProfile
- router::AnalyticsSummary
- router::RouterConfig
- router::SpeculateVerifyRouter
- smt_stub::SmtBackend
- smt_stub::SmtBackendConfig
- surrogate::NeuralSolverSurrogate
- surrogate::SolutionResult
- surrogate::SurrogateConfig
- verify::PlausibilityChecker
- verify::PlausibilityConfig
- verify::PlausibilityResult
- verify::PlausibilityViolation
- z3_backend::Z3Backend
Enums
- ReasoningResult
- ReasoningStrategy
- constraint::ConstraintValue
- hybrid::FusionMode
- hybrid::HybridStrategy
- ir::BinaryOp
- ir::ConstValue
- ir::Constraint
- ir::Domain
- ir::Expr
- ir::OptimizationGoal
- ir::TheoryTag
- ir::UnaryOp
- learning::RelationType
- lightning_strike::ArtifactType
- lightning_strike::SearchMode
- lightning_strike::StepResult
- meta_reasoning::StrategyOptimality
- optimization::CachingStrategy
- optimization::ComputeBackend
- optimization::ComputeIntensity
- optimization::MemoryRequirements
- optimization::PrecisionLevel
- optimization::TimeSensitivity
- surrogate::SolutionValue
- verify::ViolationType