List of all items
Structs
- ACPattern
- AdvancedRewriteSystem
- ComplexityMetrics
- ConditionalRule
- ConfluenceChecker
- ConfluenceReport
- ConstantInfo
- ConstantPropagationResult
- CostSummary
- CredalSet
- CriticalPair
- CriticalPath
- Cycle
- DomainInfo
- DomainRegistry
- DotExportOptions
- EinsumGraph
- EinsumNode
- ExecutionProfile
- ExecutionSchedule
- ExpressionProfile
- FoldingStats
- FusionStats
- FuzzySet
- GraphCostModel
- GraphRewriteRule
- GraphScheduler
- GraphValidationStats
- LayoutOptimizationResult
- MemoryAnalysis
- Metadata
- Multiset
- NodeStats
- OnnxExportOptions
- OperationCost
- OperatorCounts
- OptimizationMetrics
- OptimizationPipeline
- OptimizationStats
- ParallelGroup
- ParallelizationAnalysis
- PatternAnalysis
- PatternMatch
- PatternMatcher
- PatternRewriteStats
- PipelineConfig
- PredicateSignature
- ProbabilityInterval
- ProfileGuidedOptimizer
- Provenance
- RewriteConfig
- RewriteRule
- RewriteStats
- RewriteSystem
- SignatureRegistry
- SingletonFuzzySet
- SourceLocation
- SourceSpan
- StrategySelector
- StridePattern
- StronglyConnectedComponent
- TemporalComplexity
- TensorLayout
- TensorMemory
- TensorStats
- TileConfig
- TilingResult
- TilingStrategy
- TorchScriptExportOptions
- TypeAnnotation
- ValidationError
- ValidationReport
- ValidationWarning
- clp::CspSolver
- clp::SolverStats
- clp::Variable
- dependent::DependentTypeContext
- diff::GraphDiff
- diff::NodeDiff
- effect_system::EffectAnnotation
- effect_system::EffectSet
- effect_system::EffectVar
- fuzzing::ExprGenConfig
- fuzzing::ExprGenerator
- fuzzing::FuzzStats
- fuzzing::GraphGenConfig
- fuzzing::SimpleRng
- linear::LinearContext
- linear::LinearResource
- linear::LinearType
- linear::LinearityChecker
- linear::Usage
- parametric_types::ConstrainedType
- parametric_types::HigherKindedType
- parametric_types::KindedVar
- parametric_types::RecursiveType
- parametric_types::RowType
- refinement::LiquidTypeInference
- refinement::Refinement
- refinement::RefinementContext
- refinement::RefinementType
- resolution::Clause
- resolution::Literal
- resolution::ProverStats
- resolution::ResolutionProver
- resolution::ResolutionStep
- sequent::CutElimination
- sequent::ProofSearchEngine
- sequent::ProofSearchStats
- sequent::ProofTree
- sequent::Sequent
- serialization::VersionedExpr
- serialization::VersionedGraph
- unification::Substitution
- util::ExprStats
- util::GraphStats
Enums
- ACOperator
- AggregateOp
- DefuzzificationMethod
- DistributiveStrategy
- DomainType
- FuzzyImplicationKind
- FuzzyNegationKind
- GraphPattern
- IrError
- IsomorphismResult
- LayoutStrategy
- ModalSystem
- OpType
- OptimizationHint
- OptimizationLevel
- OptimizationPass
- Pattern
- RewriteStrategy
- RulePriority
- SchedulingObjective
- TCoNormKind
- TLExpr
- TNormKind
- TemporalClass
- TemporalPattern
- Term
- ValidationErrorKind
- ValidationWarningKind
- clp::BinaryRelation
- clp::Constraint
- clp::Domain
- clp::GlobalConstraintType
- clp::NAryRelation
- clp::PropagationAlgorithm
- clp::UnaryPredicate
- clp::ValueSelectionHeuristic
- clp::VariableSelectionHeuristic
- dependent::DependentType
- dependent::DimConstraint
- dependent::IndexExpr
- diff::ExprDiff
- effect_system::ComputationalEffect
- effect_system::Effect
- effect_system::EffectScheme
- effect_system::MemoryEffect
- effect_system::ProbabilisticEffect
- fuzzing::MutationKind
- linear::Capability
- linear::Multiplicity
- parametric_types::Kind
- parametric_types::ParametricType
- parametric_types::TypeConstraint
- parametric_types::TypeConstructor
- resolution::ProofResult
- resolution::ResolutionStrategy
- sequent::InferenceRule
- sequent::ProofSearchStrategy
Functions
- ac_equivalent
- algebraic_simplify
- analyze_constants
- analyze_inplace_opportunities
- analyze_memory
- analyze_parallelization
- apply_advanced_ltl_equivalences
- apply_axiom_k
- apply_axiom_t
- apply_constant_folding
- apply_distributive_laws
- apply_layouts
- apply_modal_equivalences
- apply_multilevel_tiling
- apply_register_tiling
- apply_temporal_equivalences
- apply_tiling
- are_graphs_equivalent
- are_isomorphic
- are_joinable
- auto_annotate_costs
- auto_optimize
- bisector
- canonical_hash
- canonicalize_graph
- centroid
- classify_temporal_formula
- compute_temporal_complexity
- compute_tight_bounds
- constant_fold
- critical_path_analysis
- decompose_safety_liveness
- defuzzify
- diff::diff_exprs
- diff::diff_graphs
- effect_system::infer_operation_effects
- eliminate_common_subexpressions
- eliminate_dead_code
- estimate_graph_cost
- estimate_operation_cost
- export_to_dot
- export_to_dot_with_options
- export_to_onnx_text
- export_to_onnx_text_with_options
- export_to_torchscript_text
- export_to_torchscript_text_with_options
- extract_modal_subformulas
- extract_probabilistic_semantics
- extract_state_predicates
- extract_temporal_subformulas
- find_all_paths
- find_cycles
- find_layout_fusion_opportunities
- flatten_ac
- fold_constants_aggressive
- fuse_all
- fuse_einsum_operations
- fuse_elementwise_operations
- fuse_map_reduce
- fuzzing::check_expression_invariants
- fuzzing::create_deep_negation
- fuzzing::create_nested_quantifiers
- fuzzing::create_wide_and
- fuzzing::create_wide_or
- fuzzing::fuzz_expression_operations
- fuzzing::fuzz_graph_validation
- fuzzing::gen_random_graph
- fuzzing::multi_mutate
- fuzzing::mutate_expr
- fuzzing::random_mutation
- fuzzing::test_expression_edge_cases
- fuzzing::test_graph_edge_cases
- graph_diameter
- identify_constant_subgraphs
- identify_temporal_pattern
- is_cnf
- is_dag
- is_dnf
- is_modal_free
- is_temporal
- is_temporal_nnf
- is_theorem_in_system
- largest_of_maximum
- mean_of_maximum
- mln_probability
- modal_depth
- normalize
- normalize_ac
- normalize_s5
- optimize_expr
- optimize_graph
- optimize_layouts
- parametric_types::compose_substitutions
- parametric_types::generalize
- parametric_types::instantiate
- parametric_types::unify
- partition_independent_subgraphs
- propagate_constants
- propagate_probabilities
- recommend_tiling_strategy
- resolution::to_cnf
- simplify_identity_operations
- smallest_of_maximum
- strongly_connected_components
- to_cnf
- to_dnf
- to_nnf
- topological_sort
- unification::anti_unify_terms
- unification::are_unifiable
- unification::lgg_terms
- unification::rename_vars
- unification::unify_term_list
- unification::unify_terms
- util::pretty_print_expr
- util::pretty_print_graph
- validate_graph
- verify_axiom_4
- verify_axiom_5
- verify_axiom_b
- verify_axiom_d
- verify_axiom_k
- verify_axiom_t
- weighted_average