}
this.mExplanationEngine = aSolver.getExplainer();
path = new ArrayList<Decision>(16);
valueDecisions = new ArrayList<Decision>(16);
clusters = new TIntArrayList(16);
related2dom = new BitSet(16);
notFrozen = new BitSet(16);
unrelated = new BitSet(16);
refuted = new BitSet(16);