public <C extends Context> InstanceTaxonomyState( final SaturationState<C> saturationState, final DifferentialIndex ontologyIndex, final ElkObject.Factory elkFactory) { this.ontologyIndex_ = ontologyIndex; this.saturationState_ = saturationState; this.converter_ = new ElkPolarityExpressionConverterImpl(elkFactory, ontologyIndex); ontologyIndex.addListener(new OntologyIndexDummyChangeListener() { @Override public void individualAddition(final IndexedIndividual ind) { toAdd_.add(ind); } @Override public void individualRemoval(final IndexedIndividual ind) { toRemove_.add(ind); } }); saturationState .addListener(new SaturationStateDummyChangeListener<C>() { @Override public void contextMarkNonSaturated(final C context) { final IndexedContextRoot root = context.getRoot(); if (root instanceof IndexedIndividual) { final IndexedIndividual ind = (IndexedIndividual) root; toRemove_.add(ind); } } }); }
public <C extends Context> InstanceTaxonomyState( final SaturationState<C> saturationState, final DifferentialIndex ontologyIndex, final ElkObject.Factory elkFactory) { this.ontologyIndex_ = ontologyIndex; this.saturationState_ = saturationState; this.converter_ = new ElkPolarityExpressionConverterImpl(elkFactory, ontologyIndex); ontologyIndex.addListener(new OntologyIndexDummyChangeListener() { @Override public void individualAddition(final IndexedIndividual ind) { toAdd_.add(ind); } @Override public void individualRemoval(final IndexedIndividual ind) { toRemove_.add(ind); } }); saturationState .addListener(new SaturationStateDummyChangeListener<C>() { @Override public void contextMarkNonSaturated(final C context) { final IndexedContextRoot root = context.getRoot(); if (root instanceof IndexedIndividual) { final IndexedIndividual ind = (IndexedIndividual) root; toRemove_.add(ind); } } }); }
public <C extends Context> InstanceTaxonomyState( final SaturationState<C> saturationState, final DifferentialIndex ontologyIndex, final ElkObject.Factory elkFactory) { this.ontologyIndex_ = ontologyIndex; this.saturationState_ = saturationState; this.converter_ = new ElkPolarityExpressionConverterImpl(elkFactory, ontologyIndex); ontologyIndex.addListener(new OntologyIndexDummyChangeListener() { @Override public void individualAddition(final IndexedIndividual ind) { toAdd_.add(ind); } @Override public void individualRemoval(final IndexedIndividual ind) { toRemove_.add(ind); } }); saturationState .addListener(new SaturationStateDummyChangeListener<C>() { @Override public void contextMarkNonSaturated(final C context) { final IndexedContextRoot root = context.getRoot(); if (root instanceof IndexedIndividual) { final IndexedIndividual ind = (IndexedIndividual) root; toRemove_.add(ind); } } }); }
ontologyIndex.addListener(new OntologyIndexDummyChangeListener() {
ontologyIndex.addListener(new OntologyIndexDummyChangeListener() {
ontologyIndex.addListener(new OntologyIndexDummyChangeListener() {