private void addUnfolding(final ATermAppl c, final ATermAppl condition, final ATermAppl result, final Set<ATermAppl> explanation) { List<Unfolding> list = _conditionalUnfoldings.get(c); if (list == null) { list = CollectionUtils.makeList(); _conditionalUnfoldings.put(c, list); } list.add(Unfolding.create(result, condition, explanation)); }
private void addUnfolding(final ATermAppl c, final ATermAppl condition, final ATermAppl result, final Set<ATermAppl> explanation) { List<Unfolding> list = _conditionalUnfoldings.get(c); if (list == null) { list = CollectionUtils.makeList(); _conditionalUnfoldings.put(c, list); } list.add(Unfolding.create(result, condition, explanation)); }
public void add(final ATermAppl sub, final ATermAppl sup, final Set<ATermAppl> explanation) { List<Unfolding> list = _unfoldings.get(sub); if (list == null) { list = new ArrayList<>(); _unfoldings.put(sub, list); } _logger.fine(() -> "Add sub: " + ATermUtils.toString(sub) + " < " + ATermUtils.toString(sup)); list.add(Unfolding.create(ATermUtils.normalize(sup), explanation)); }
public void add(final ATermAppl sub, final ATermAppl sup, final Set<ATermAppl> explanation) { List<Unfolding> list = _unfoldings.get(sub); if (list == null) { list = new ArrayList<>(); _unfoldings.put(sub, list); } _logger.fine(() -> "Add sub: " + ATermUtils.toString(sub) + " < " + ATermUtils.toString(sup)); list.add(Unfolding.create(ATermUtils.normalize(sup), explanation)); }
protected void addDefinition(final ATermAppl concept, final ATermAppl definition, final Set<ATermAppl> explanation) { _logger.fine(() -> "Def: " + ATermUtils.toString(concept) + " = " + ATermUtils.toString(definition)); _definitions.put(concept, Unfolding.create(ATermUtils.normalize(definition), explanation)); }
protected void addDefinition(final ATermAppl concept, final ATermAppl definition, final Set<ATermAppl> explanation) { _logger.fine(() -> "Def: " + ATermUtils.toString(concept) + " = " + ATermUtils.toString(definition)); _definitions.put(concept, Unfolding.create(ATermUtils.normalize(definition), 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); }
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); }
newUnfoldTop.add(Unfolding.create(ATermUtils.makeAnd(newList), explain));
newUnfoldTop.add(Unfolding.create(ATermUtils.makeAnd(newList), explain));
assertTrue(tbox.addAxiom(axiom2)); final Unfolding unfoldForAxiom2 = Unfolding.create(_B, Collections.singleton(axiom2));