@Override public void visit(final AtomIConstant constant) { _abox.copyOnWrite(); value = _abox.getIndividual(constant.getValue()); }
@Override public void visit(final AtomIConstant constant) { _abox.copyOnWrite(); value = _abox.getIndividual(constant.getValue()); }
@Override public void visit(final AtomIConstant constant) { _translatorAbox.copyOnWrite(); final Individual individual = _translatorAbox.getIndividual(constant.getValue()); // if (_individual.isMerged()) { // _dependency = _individual.getMergeDependency(true); // _individual = _individual.getSame(); // } _result = new ConstantNodeProvider(individual); }
@Override public void visit(final AtomIConstant constant) { _translatorAbox.copyOnWrite(); final Individual individual = _translatorAbox.getIndividual(constant.getValue()); // if (_individual.isMerged()) { // _dependency = _individual.getMergeDependency(true); // _individual = _individual.getSame(); // } _result = new ConstantNodeProvider(individual); }
protected Node initNode(final ATermAppl name) { if (ATermUtils.isLiteral(name)) return _abox.addLiteral(name); else { _abox.copyOnWrite(); return _abox.getIndividual(name); } }
protected Node initNode(final ATermAppl name) { if (ATermUtils.isLiteral(name)) return _abox.addLiteral(name); else { _abox.copyOnWrite(); return _abox.getIndividual(name); } }
_abox.copyOnWrite(); _value = _abox.getLiteral(canonical); if (_value == null)
_abox.copyOnWrite(); _value = _abox.getLiteral(canonical); if (_value == null)
private void applyNominalRule(final Individual y, final ATermAppl nc, final DependencySet dsParam) _strategy.getABox().copyOnWrite();
private void applyNominalRule(final Individual y, final ATermAppl nc, final DependencySet dsParam) _strategy.getABox().copyOnWrite();
if (ATermUtils.isNominal(c) && !OpenlletOptions.USE_PSEUDO_NOMINALS) _strategy.getABox().copyOnWrite(); if (ATermUtils.isNominal(c) && !OpenlletOptions.USE_PSEUDO_NOMINALS) _strategy.getABox().copyOnWrite();
if (ATermUtils.isNominal(c) && !OpenlletOptions.USE_PSEUDO_NOMINALS) _strategy.getABox().copyOnWrite(); if (ATermUtils.isNominal(c) && !OpenlletOptions.USE_PSEUDO_NOMINALS) _strategy.getABox().copyOnWrite();