public void add(final BinarySet<ATermAppl> set, final ATermAppl result, final Set<ATermAppl> explanation) { _logger.fine(() -> "Add sub: (" + ATermUtils.toString(set.first()) + ", " + ATermUtils.toString(set.second()) + ") < " + ATermUtils.toString(result)); final ATermAppl normalizedResult = ATermUtils.normalize(result); _unfoldings.put(set, Unfolding.create(normalizedResult, explanation)); addUnfolding(set.first(), set.second(), normalizedResult, explanation); addUnfolding(set.second(), set.first(), normalizedResult, explanation); }
public void add(final BinarySet<ATermAppl> set, final ATermAppl result, final Set<ATermAppl> explanation) { _logger.fine(() -> "Add sub: (" + ATermUtils.toString(set.first()) + ", " + ATermUtils.toString(set.second()) + ") < " + ATermUtils.toString(result)); final ATermAppl normalizedResult = ATermUtils.normalize(result); _unfoldings.put(set, Unfolding.create(normalizedResult, explanation)); addUnfolding(set.first(), set.second(), normalizedResult, explanation); addUnfolding(set.second(), set.first(), normalizedResult, explanation); }