Crate cimvalidation 

Re-exports

pub use violation::Violation;

pub use detect::detect_config;

Modules

detect

generated_p61968_13_geographicallocation_ap_con_complex_shacl

generated_p61970_301_diagramlayout_ap_con_complex_notsolvedmas_shacl

generated_p61970_301_diagramlayout_ap_con_complex_shacl

generated_p61970_301_equipment_ap_con_complex_shacl

generated_p61970_301_equipmentboundary_ap_con_complex_shacl

generated_p61970_301_operation_ap_con_complex_shacl

generated_p61970_301_shortcircuit_ap_con_complex_shacl

generated_p61970_301_statevariables_ap_con_complex_shacl

generated_p61970_301_steadystatehypothesis_ap_con_complex_notsolvedmas_shacl

generated_p61970_301_steadystatehypothesis_ap_con_complex_shacl

generated_p61970_302_dynamics_ap_con_complex_shacl

generated_p61970_452_equipment_ap_con_complex_shacl

generated_p61970_452_operation_ap_con_complex_shacl

generated_p61970_453_diagramlayout_ap_con_complex_implicit_crossprofile_shacl

generated_p61970_453_diagramlayout_ap_con_complex_shacl

generated_p61970_456_statevariables_ap_con_complex_explicit_crossprofile_shacl

generated_p61970_456_statevariables_ap_con_complex_implicit_crossprofile_shacl

generated_p61970_456_steadystatehypothesis_ap_con_complex_notsolvedmas_shacl

generated_p61970_456_steadystatehypothesis_ap_con_complex_shacl

generated_p61970_456_topology_ap_con_complex_implicit_crossprofile_shacl

generated_p61970_456_topology_ap_con_complex_shacl

generated_p61970_457_dynamics_ap_con_complex_implicit_crossprofile_shacl

generated_p61970_552_header_ap_con_simple_shacl

generated_p61970_600_1_equipment_ap_con_complex_shacl

generated_p61970_600_2_diagramlayout_ap_con_simple_shacl

generated_p61970_600_2_dynamics_ap_con_simple_shacl

generated_p61970_600_2_equipment_ap_con_complex_shacl

generated_p61970_600_2_equipment_ap_con_simple_shacl

generated_p61970_600_2_equipmentboundary_ap_con_simple_shacl

generated_p61970_600_2_geographicallocation_ap_con_complex_implicit_crossprofile_shacl

generated_p61970_600_2_geographicallocation_ap_con_simple_shacl

generated_p61970_600_2_operation_ap_con_complex_implicit_crossprofile_shacl

generated_p61970_600_2_operation_ap_con_simple_shacl

generated_p61970_600_2_shortcircuit_ap_con_simple_shacl

generated_p61970_600_2_statevariables_ap_con_simple_shacl

generated_p61970_600_2_steadystatehypothesis_ap_con_simple_shacl

generated_p61970_600_2_topology_ap_con_simple_shacl

helpers

sparql

violation

Structs

Config

Functions

combined_config

Build a combined Config by auto-detecting profiles/solved-state across all files, then applying explicit overrides (each None/default leaves the detected value).

validate_crossprofile

Phase 2 — crossprofile: run crossprofile SHACL + cross-profile SPARQL on the merged dataset.

validate_eq

validate_eqbd

validate_files

Run full two-phase validation: per-file local checks (header + per-profile SHACL/SPARQL) in parallel, then crossprofile checks on the merged dataset, then apply rule silencing.

validate_header

Phase 1 — header: validate FullModel/DifferenceModel rules for a single file’s dataset.

validate_profile_local

Phase 1 — per-profile: run local (non-crossprofile) generated SHACL rules and SPARQL rules for one profile.

validate_sc

validate_ssh