List of all items
Structs
- Cli
- ExplainArgs
- ExplainReport
- ProbArgs
- ReplArgs
- RunArgs
- WatchArgs
- generated_rule_diagnostics::DiagnosticScalar
- generated_rule_diagnostics::GeneratedRuleDiagnostic
- generated_rule_diagnostics::GeneratedRuleEvaluation
- generated_rule_diagnostics::GeneratedRuleRowDecision
- generated_rule_diagnostics::ThresholdComparison
Enums
- Command
- ExplainFormat
- ModuleMergeErrorKind
- OutputFormat
- ProbEngineCli
- ProbMethodCli
- ProbOutputFormat
- StatsFormat
- generated_rule_diagnostics::GeneratedRuleSearchTask
Functions
- build_explain_report
- dot_escape
- eir_atom_json
- eir_epistemic_literal_json
- eir_term_label
- emit_logic_results
- epistemic_execution_backend_label
- epistemic_fallback_policy_label
- explain
- explain_aggregate_lifting
- explain_epistemic
- explain_source_diagnostics
- generated_rule_diagnostics::arithmetic_expression_value
- generated_rule_diagnostics::arithmetic_value_label
- generated_rule_diagnostics::bindings_for_source_row
- generated_rule_diagnostics::bound_scalar
- generated_rule_diagnostics::comp_op_label
- generated_rule_diagnostics::comparison_scalar
- generated_rule_diagnostics::declared_column_names
- generated_rule_diagnostics::diagnostic_relation_rows
- generated_rule_diagnostics::diagnostic_row
- generated_rule_diagnostics::diagnostic_source_atom
- generated_rule_diagnostics::diagnostic_source_predicate
- generated_rule_diagnostics::ensure_extensional_generated_rule_support
- generated_rule_diagnostics::evaluate_generated_rule
- generated_rule_diagnostics::explain_generated_rule_diagnostics
- generated_rule_diagnostics::extend_bindings_for_row
- generated_rule_diagnostics::external_relation_manifest
- generated_rule_diagnostics::external_relation_source
- generated_rule_diagnostics::generated_rule_candidate
- generated_rule_diagnostics::json_diagnostic_scalar
- generated_rule_diagnostics::load_external_relation_rows
- generated_rule_diagnostics::print_generated_rule_diagnostics_json
- generated_rule_diagnostics::relation_json_candidates
- generated_rule_diagnostics::relation_rows_for_atom
- generated_rule_diagnostics::threshold_comparison
- json_escape
- json_optional_string
- json_string_array
- json_value
- json_value_array
- magic_status_label
- main
- make_provider
- memory_budget_bytes
- parse_inputs
- print_explain_json
- print_explain_text
- print_magic_dot
- print_magic_text
- print_proof_traces_json
- print_rule_provenance_json
- program_has_epistemic_literals
- repl
- resolve_explain_imports
- resolve_program_imports
- run_deterministic
- run_probabilistic
- unavailable_epistemic_analysis
- warn_ignored_import_pragmas
- watch