Mentions légales du service

Skip to content
Snippets Groups Projects
Commit 1dffcc82 authored by federico's avatar federico
Browse files

changed visibility levels

parent 3acd16a5
No related branches found
No related tags found
1 merge request!68Resolve "add explanation module"
Pipeline #1121373 failed
......@@ -18,12 +18,12 @@ public abstract class AbstractStaticGRIBasedExplainer_TrackerGRI<ExplanationType
/**
* This set is needed to recall the initial atoms of the kb
*/
private final HashSet<Atom> intialAtoms;
protected final HashSet<Atom> intialAtoms;
/**
* default solver
*/
private Solver solver = new MARCOGMUSSolver();
protected Solver solver = new MARCOGMUSSolver();
/*
* A KB where we want to trace atoms
*/
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment