List of all items
Structs
- CompiledShapes
- EvaluationSession
- EvidenceOptions
- ExecutionDiagnostic
- FindingOptions
- SessionOptions
- SparqlDiagnostic
- compact::Sharing
- enumerate::EnumOptions
- enumerate::FixpointResult
- enumerate::RepairSolution
- evidence::ConformanceOptions
- evidence::ConformanceRun
- evidence::PreparedEvidenceValidator
- evidence::SelectedPair
- frozen::DatasetStatistics
- frozen::FrozenIndexedDataset
- gate::RepairOutcome
- profile::IndexRecord
- profile::ProfileCollector
- profile::QueryRecord
- profile::ReachCacheRecord
- profile::ScanRecord
- profile::ShapeCacheRecord
- profile::ShapeRecord
- profile::StorageRecord
- report::PropertyWitness
- report::ValidationReport
- report::ValidationResult
- sharing::ResultSharing
- synthesize::EvidenceOrigin
- synthesize::SynthesizedRepair
- validate::EngineOptions
- validate::NonStratifiable
- validate::Reason
- validate::ValidationOptions
- validate::ValidationOutcome
- validate::Violation
- witness::ChildEvaluation
- witness::ConstraintCatalog
- witness::ConstraintRecord
- witness::EvaluationProgress
- witness::EvidenceRun
- witness::EvidenceSummary
- witness::FocusEvaluation
- witness::FocusSat
- witness::FocusWitness
- witness::MissingObligation
- witness::QualifiedMatch
- witness::RejectedCandidate
- witness::StatementEvaluation
Enums
- CompileError
- EvaluationError
- SessionData
- SessionError
- compact::CompactError
- profile::ExecutorKind
- validate::UnsupportedPolicy
- validate::ValidationGraphMode
- witness::BlockReason
- witness::EvaluationStatus
- witness::Evidence
- witness::EvidenceKind
- witness::EvidenceNodeRef
- witness::Failure
- witness::PathSupport
- witness::RelKind
- witness::Satisfaction
Traits
Functions
- compact::compact
- compact::compact_value
- compact::expand
- compact::expand_value
- compact::expand_with_catalog
- compact::sharing
- compact::to_compact_json
- enumerate::candidates
- enumerate::enumerate_repair
- enumerate::repair_to_fixpoint
- evidence::validate_graphs_with_evidence
- evidence::validate_graphs_with_evidence_and_mode
- evidence::validate_graphs_with_evidence_and_mode_and_options
- evidence::validate_with_context_and_evidence
- evidence::validate_with_context_and_evidence_and_options
- evidence::validate_with_evidence
- evidence::validate_with_evidence_and_options
- gate::apply
- gate::gate
- gate::outcome_index
- path::node_of
- path::pred
- path::succ
- path::term_of
- profile::enable
- profile::evidence_visits
- profile::fingerprint
- profile::record
- profile::record_shape
- profile::take
- profile::take_evidence_visits
- profile::take_path_probes
- profile::timed
- report::evaluate_function_expression
- report::property_witnesses_graphs_with_mode
- report::property_witnesses_graphs_with_mode_and_options
- report::report_to_graph
- report::validate_report
- report::validate_report_graphs
- report::validate_report_graphs_with_mode
- report::validate_report_graphs_with_mode_and_options
- report::validate_report_with_options
- sharing::result_sharing
- synthesize::synthesize
- synthesize::synthesize_focus
- synthesize::synthesize_focus_with_origins
- synthesize::synthesize_with_origins
- validate::focus_nodes
- validate::graph_union
- validate::validate
- validate::validate_graphs
- validate::validate_graphs_with_mode
- validate::validate_graphs_with_mode_and_options
- validate::validate_plan
- validate::validate_plan_graphs
- validate::validate_plan_graphs_with_mode
- validate::validate_plan_graphs_with_mode_and_options
- validate::validate_plan_with_context
- validate::validate_plan_with_context_and_options
- validate::validate_plan_with_options
- validate::validate_with_context
- validate::validate_with_context_and_options
- validate::validate_with_options
- value::compare_terms
- value::value_type_holds
- witness::satisfy_shape
- witness::shape_id_for_iri
- witness::witness_node
- witness::witness_shape
- witness::witness_violations