From e64534db48c09f836507fd7e95daade8a094ed71 Mon Sep 17 00:00:00 2001
From: Akira <akira.charoensit@inria.fr>
Date: Tue, 25 Mar 2025 10:15:12 +0100
Subject: [PATCH] (build pass)
---
...tractStaticGRIBasedExplainer_TrackerGRI.java | 17 +++++++++++++++++
1 file changed, 17 insertions(+)
diff --git a/integraal/integraal-explanation/src/main/java/fr/boreal/explanation/tracker_gri/explainers/AbstractStaticGRIBasedExplainer_TrackerGRI.java b/integraal/integraal-explanation/src/main/java/fr/boreal/explanation/tracker_gri/explainers/AbstractStaticGRIBasedExplainer_TrackerGRI.java
index 2fdb5d0fc..55b663180 100644
--- a/integraal/integraal-explanation/src/main/java/fr/boreal/explanation/tracker_gri/explainers/AbstractStaticGRIBasedExplainer_TrackerGRI.java
+++ b/integraal/integraal-explanation/src/main/java/fr/boreal/explanation/tracker_gri/explainers/AbstractStaticGRIBasedExplainer_TrackerGRI.java
@@ -46,6 +46,22 @@ public abstract class AbstractStaticGRIBasedExplainer_TrackerGRI<ExplanationType
*/
GRIRuleTransformer ruleTransformer = GRIRuleTransformer.instance();
Predicate<Atom> belongsToInitialFactbase;
+ /**
+ * Sets the initial KB and compute the GRI
+ *
+ * @param inputKB the current kb
+ */
+ public AbstractStaticGRIBasedExplainer_TrackerGRI(KnowledgeBase inputKB) {
+ this.inputKB = inputKB;
+
+ this.intialAtoms = new HashSet<Atom>();
+ inputKB.getFactBase().getAtoms().forEach(intialAtoms::add);
+
+ var trackedChase = DefaultChaseForExplanations.chaseForTracker(this.inputKB);
+ this.griKBChase = trackedChase.chase();
+ this.griTracker = trackedChase.tracker();
+ }
+
/**
* Sets the initial KB and compute the GRI
*
@@ -60,6 +76,7 @@ public abstract class AbstractStaticGRIBasedExplainer_TrackerGRI<ExplanationType
var trackedChase = DefaultChaseForExplanations.chaseForTracker(this.inputKB);
this.griKBChase = trackedChase.chase();
this.griTracker = trackedChase.tracker();
+ this.solver=solver;
}
public void pipeline() {
--
GitLab