223224225226227228229230231232233
else { completionQueue = null; } if( PelletOptions.USE_INCREMENTAL_CONSISTENCY ) { incChangeTracker = new SimpleIncrementalChangeTracker(); } else { incChangeTracker = null; } }
328329330331332333334335336337338
if( PelletOptions.USE_INCREMENTAL_CONSISTENCY ) { if( copyIndividuals ) { incChangeTracker = abox.incChangeTracker.copy( this ); } else { incChangeTracker = new SimpleIncrementalChangeTracker(); } } else { incChangeTracker = null; }