@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 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 Individual addIndividual(final ATermAppl x, final DependencySet ds) { final Individual ind = addIndividual(x, null, ds); // update affected inds for this _branch if (getBranchIndex() >= 0 && OpenlletOptions.TRACK_BRANCH_EFFECTS) _branchEffects.add(getBranchIndex(), ind.getName()); return ind; }
@Override public Individual addIndividual(final ATermAppl x, final DependencySet ds) { final Individual ind = addIndividual(x, null, ds); // update affected inds for this _branch if (getBranchIndex() >= 0 && OpenlletOptions.TRACK_BRANCH_EFFECTS) _branchEffects.add(getBranchIndex(), ind.getName()); return ind; }