Compare revisions

...acker_gri/encoders/KBSupportKBGSATEncoder_TrackerGRI.java

...ker_gri/encoders/RuleSupportKBGSATEncoder_TrackerGRI.java

...xplainers/AbstractStaticGRIBasedExplainer_TrackerGRI.java

...acker_gri/explainers/FactSupportExplainer_TrackerGRI.java

...tracker_gri/explainers/KBSupportExplainer_TrackerGRI.java

...acker_gri/explainers/RuleSupportExplainer_TrackerGRI.java

...nambiguousProofTreeWhyProvenanceExplainer_TrackerGRI.java

...r_gri/processors/FactSupportGMUSProcessor_TrackerGRI.java

...ker_gri/processors/KBSupportGMUSProcessor_TrackerGRI.java

...r_gri/processors/RuleSupportGMUSProcessor_TrackerGRI.java

...in/java/fr/boreal/explanation/util/HornClausePrinter.java

...raal/integraal-explanation/src/main/java/module-info.java

...on/src/test/java/fr/boreal/test/explanation/TestData.java

...t/explanation/check_has_explanation/AAAIOntologyTest.java

.../explanation/check_has_explanation/DebugOntologyTest.java

...t/explanation/check_has_explanation/MowlOntologyTest.java

.../check_same_explanation/FactSupport_MowlOntologyTest.java

...on/check_same_explanation/KBSupport_MowlOntologyTest.java

.../check_same_explanation/RuleSupport_MowlOntologyTest.java

..._tests/chasingAndTracing/ChaseGRIRuleTransformerTest.java