/** * Add a new literal to the ABox. Literal will be assigned a fresh unique name. * * @param dataValue A literal ATerm which should be constructed with one of ATermUtils.makeXXXLiteral functions * @return Literal object that has been created */ @Override public Literal addLiteral(final ATermAppl dataValue) { final int remember = getBranchIndex(); setBranchIndex(DependencySet.NO_BRANCH); final Literal lit = addLiteral(dataValue, DependencySet.INDEPENDENT); setBranchIndex(remember); return lit; }
/** * Add a new literal to the ABox. Literal will be assigned a fresh unique name. * * @param dataValue A literal ATerm which should be constructed with one of ATermUtils.makeXXXLiteral functions * @return Literal object that has been created */ @Override public Literal addLiteral(final ATermAppl dataValue) { final int remember = getBranchIndex(); setBranchIndex(DependencySet.NO_BRANCH); final Literal lit = addLiteral(dataValue, DependencySet.INDEPENDENT); setBranchIndex(remember); return lit; }