Commit b1ed8af9 authored 1 month ago by Federico Ulliana

refactored

parent 7bded35b

No related branches found

No related tags found

1 merge request!68Resolve "add explanation module"

Hide whitespace changes

Inline Side-by-side

Showing

integraal/integraal-explanation/src/main/java/fr/boreal/explanation/api/encoders/GSATEncoder_GRI.java 0 additions, 2 deletions

...a/fr/boreal/explanation/api/encoders/GSATEncoder_GRI.java
integraal/integraal-explanation/src/main/java/fr/boreal/explanation/api/encoders/GSATEncodingResult_GRI.java 1 addition, 1 deletion

...real/explanation/api/encoders/GSATEncodingResult_GRI.java
integraal/integraal-explanation/src/main/java/fr/boreal/explanation/explainers/kb_gri/AbstractStaticGRIBasedExplainer_KBGRI.java 3 additions, 3 deletions

...lainers/kb_gri/AbstractStaticGRIBasedExplainer_KBGRI.java
integraal/integraal-explanation/src/main/java/fr/boreal/explanation/explainers/kb_gri/FactSupportExplainer_KBGRI.java 21 additions, 0 deletions

...anation/explainers/kb_gri/FactSupportExplainer_KBGRI.java
integraal/integraal-explanation/src/main/java/fr/boreal/explanation/explainers/kb_gri/FactSupportProvenanceExplainer_KBGRI.java 2 additions, 2 deletions

...plainers/kb_gri/FactSupportProvenanceExplainer_KBGRI.java
integraal/integraal-explanation/src/main/java/fr/boreal/explanation/explainers/kb_gri/KBSupportExplainer_KBGRI.java 20 additions, 0 deletions

...planation/explainers/kb_gri/KBSupportExplainer_KBGRI.java
integraal/integraal-explanation/src/main/java/fr/boreal/explanation/explainers/kb_gri/RuleSupportExplainer_KBGRI.java 22 additions, 0 deletions

...anation/explainers/kb_gri/RuleSupportExplainer_KBGRI.java
integraal/integraal-explanation/src/main/java/fr/boreal/explanation/solving_enumerating/gmus_processors/sat4j/FactSupportMUSSat4JProcessor.java 2 additions, 3 deletions

...g/gmus_processors/sat4j/FactSupportMUSSat4JProcessor.java
integraal/integraal-explanation/src/main/java/fr/boreal/explanation/solving_enumerating/kb_gri/encoders/AbstractGSATEncoder_KBGRI.java 4 additions, 3 deletions

...numerating/kb_gri/encoders/AbstractGSATEncoder_KBGRI.java
integraal/integraal-explanation/src/main/java/fr/boreal/explanation/solving_enumerating/kb_gri/encoders/FactSupportGSATEncoder_KBGRI.java 3 additions, 3 deletions

...erating/kb_gri/encoders/FactSupportGSATEncoder_KBGRI.java
integraal/integraal-explanation/src/main/java/fr/boreal/explanation/solving_enumerating/kb_gri/encoders/KBSupportKBGSATEncoder_KBGRI.java 2 additions, 6 deletions

...erating/kb_gri/encoders/KBSupportKBGSATEncoder_KBGRI.java
integraal/integraal-explanation/src/main/java/fr/boreal/explanation/solving_enumerating/kb_gri/encoders/RuleSupportKBGSATEncoder_KBGRI.java 2 additions, 4 deletions

...ating/kb_gri/encoders/RuleSupportKBGSATEncoder_KBGRI.java
integraal/integraal-explanation/src/main/java/fr/boreal/explanation/solving_enumerating/kb_gri/processors/AbstractExplanationsProcessor_GMUS_KBGRI.java 5 additions, 5 deletions

.../processors/AbstractExplanationsProcessor_GMUS_KBGRI.java
integraal/integraal-explanation/src/main/java/fr/boreal/explanation/solving_enumerating/kb_gri/processors/FactSupportGMUSProcessor_KBGRI.java 24 additions, 0 deletions

...ing/kb_gri/processors/FactSupportGMUSProcessor_KBGRI.java
integraal/integraal-explanation/src/main/java/fr/boreal/explanation/solving_enumerating/kb_gri/processors/KBSupportGMUSProcessor_KBGRI.java 23 additions, 0 deletions

...ating/kb_gri/processors/KBSupportGMUSProcessor_KBGRI.java
integraal/integraal-explanation/src/main/java/fr/boreal/explanation/solving_enumerating/kb_gri/processors/RuleSupportGMUSProcessor_KBGRI.java 26 additions, 0 deletions

...ing/kb_gri/processors/RuleSupportGMUSProcessor_KBGRI.java
integraal/integraal-explanation/src/test/java/fr/boreal/test/explanation/explainer/FactSupportExplainerTest.java 6 additions, 6 deletions

.../test/explanation/explainer/FactSupportExplainerTest.java
integraal/integraal-explanation/src/test/java/fr/boreal/test/explanation/explainer/KBSupportExplainerTest.java 7 additions, 7 deletions

...al/test/explanation/explainer/KBSupportExplainerTest.java
integraal/integraal-explanation/src/test/java/fr/boreal/test/explanation/explainer/RuleSupportExplainerTest.java 6 additions, 6 deletions

.../test/explanation/explainer/RuleSupportExplainerTest.java
integraal/integraal-explanation/src/test/java/fr/boreal/test/explanation/solvingViaGMUS/FactSupportKBGSATEncoderTest.java 3 additions, 3 deletions

...lanation/solvingViaGMUS/FactSupportKBGSATEncoderTest.java

with 182 additions and 54 deletions

Please register or to comment

Admin message

refactored