@Override public Individual addFreshIndividual(final Individual parent, final DependencySet ds) { final boolean isNominal = parent == null; final ATermAppl name = createUniqueName(isNominal); final Individual ind = addIndividual(name, parent, ds); if (isNominal) ind.setNominalLevel(1); return ind; }
@Override public Literal addLiteral(final DependencySet ds) { return createLiteral(ATermUtils.makeLiteral(createUniqueName(false)), ds); }
@Override public Literal addLiteral(final DependencySet ds) { return createLiteral(ATermUtils.makeLiteral(createUniqueName(false)), ds); }
@Override public Individual addFreshIndividual(final Individual parent, final DependencySet ds) { final boolean isNominal = parent == null; final ATermAppl name = createUniqueName(isNominal); final Individual ind = addIndividual(name, parent, ds); if (isNominal) ind.setNominalLevel(1); return ind; }