List of all items
Structs
- engine::Engine
- error::ErrorDetails
- evaluation::EvaluationContext
- evaluation::Evaluator
- evaluation::operations::OperationRecord
- evaluation::proof::Branch
- evaluation::proof::NonMatchedBranch
- evaluation::proof::Proof
- evaluation::response::Facts
- evaluation::response::Response
- evaluation::response::RuleResult
- inversion::InversionResponse
- inversion::Solution
- inversion::Target
- inversion::World
- limits::ResourceLimits
- parsing::LemmaParser
- parsing::ast::DepthTracker
- parsing::ast::Span
- parsing::source::Source
- planning::execution_plan::Branch
- planning::execution_plan::ExecutableRule
- planning::execution_plan::ExecutionPlan
- planning::types::ResolvedDocumentTypes
- planning::types::TypeRegistry
- semantic::DateTimeValue
- semantic::Expression
- semantic::FactPath
- semantic::FactReference
- semantic::LemmaDoc
- semantic::LemmaFact
- semantic::LemmaRule
- semantic::LemmaType
- semantic::LiteralValue
- semantic::PathSegment
- semantic::Reference
- semantic::RulePath
- semantic::RuleReference
- semantic::TimeValue
- semantic::TimezoneValue
- semantic::Unit
- semantic::UnlessClause
- semantic::VetoExpression
Enums
- error::LemmaError
- evaluation::operations::ComputationKind
- evaluation::operations::OperationKind
- evaluation::operations::OperationResult
- evaluation::proof::ProofNode
- evaluation::proof::ValueSource
- inversion::Bound
- inversion::Domain
- inversion::TargetOp
- parsing::Rule
- semantic::ArithmeticComputation
- semantic::BooleanValue
- semantic::ComparisonComputation
- semantic::ConversionTarget
- semantic::DurationUnit
- semantic::ExpressionKind
- semantic::FactValue
- semantic::LogicalComputation
- semantic::MathematicalComputation
- semantic::NegationType
- semantic::TypeDef
- semantic::TypeSpecification
- semantic::Value
Functions
- computation::algebra::solve_for
- computation::algebra::substitute
- computation::arithmetic::arithmetic_operation
- computation::comparison::comparison_operation
- computation::datetime::datetime_arithmetic
- computation::datetime::datetime_comparison
- computation::datetime::time_arithmetic
- computation::datetime::time_comparison
- computation::units::convert_unit
- computation::units::duration_to_seconds
- computation::units::seconds_to_duration
- evaluation::expression::evaluate_rule
- inversion::extract_domains_from_constraint
- inversion::invert
- parsing::parse
- parsing::units::resolve_conversion_target
- parsing::units::resolve_unit
- planning::plan
- planning::validation::validate_type_specifications
- planning::validation::validate_types
- semantic::standard_boolean
- semantic::standard_date
- semantic::standard_duration
- semantic::standard_number
- semantic::standard_ratio
- semantic::standard_scale
- semantic::standard_text
- semantic::standard_time
- serialization::deserialize_fact_doc_ref_map
- serialization::deserialize_fact_path_map
- serialization::deserialize_fact_path_set
- serialization::deserialize_fact_source_map
- serialization::deserialize_fact_type_map
- serialization::deserialize_fact_value_map
- serialization::from_json
- serialization::from_msgpack
- serialization::from_protobuf
- serialization::serialize_fact_doc_ref_map
- serialization::serialize_fact_path_map
- serialization::serialize_fact_path_set
- serialization::serialize_fact_source_map
- serialization::serialize_fact_type_map
- serialization::serialize_fact_value_map