m_isDeterministic=isDeterministic;
m_reusedNodes=new HashMap<AtomicConcept,NodeBranchingPointPair>();
m_doReuseConceptsAlways=new HashSet<AtomicConcept>();
m_dontReuseConceptsThisRun=new HashSet<AtomicConcept>();
m_dontReuseConceptsEver=new HashSet<AtomicConcept>();
m_reuseBacktrackingTable=new TupleTable(1);
m_auxiliaryBuffer=new Object[1];
m_indicesByBranchingPoint=new int[10];
}