@Override public int hashCode() { return _node.getName().hashCode(); }
@Override public int hashCode() { return _node.getName().hashCode(); }
@Override public String toString() { return ATermUtils.toString(_node.getName()); } }
/** * {@inheritDoc} */ @Override public ATermAppl getToName() { return getTo().getName(); }
/** * {@inheritDoc} */ @Override public ATermAppl getToName() { return getTo().getName(); }
public DisjunctionBranch(final DisjunctionBranch dr, final ABox abox) { super(abox, dr._allDisjonctions.length, dr); _node = abox.getNode(dr._node.getName()); _disjunction = dr._disjunction; _allDisjonctions = dr._allDisjonctions; _prevDS = new DependencySet[dr._allDisjonctions.length]; System.arraycopy(dr._prevDS, 0, _prevDS, 0, dr._allDisjonctions.length); _order = new int[dr._allDisjonctions.length]; System.arraycopy(dr._order, 0, _order, 0, dr._allDisjonctions.length); }
@Override public String toString() { return ATermUtils.toString(_node.getName()); } }
public DisjunctionBranch(final DisjunctionBranch dr, final ABox abox) { super(abox, dr._allDisjonctions.length, dr); _node = abox.getNode(dr._node.getName()); _disjunction = dr._disjunction; _allDisjonctions = dr._allDisjonctions; _prevDS = new DependencySet[dr._allDisjonctions.length]; System.arraycopy(dr._prevDS, 0, _prevDS, 0, dr._allDisjonctions.length); _order = new int[dr._allDisjonctions.length]; System.arraycopy(dr._order, 0, _order, 0, dr._allDisjonctions.length); }
@Override public String toString() { return "Branch [" + _closeBranch.getNode().getName() + "] - [" + _closeBranch.getBranchIndexInABox() + "]"; }
@Override public String toString() { return "Branch [" + _closeBranch.getNode().getName() + "] - [" + _closeBranch.getBranchIndexInABox() + "]"; }
@Override protected String getDebugMsg() { return "CHOS: Branch (" + getBranchIndexInABox() + ") try (" + (getTryNext() + 1) + "/" + getTryCount() + ") " + _node.getName() + " " + getDisjunct(getTryNext()); } }
@Override protected String getDebugMsg() { return "CHOS: Branch (" + getBranchIndexInABox() + ") try (" + (getTryNext() + 1) + "/" + getTryCount() + ") " + _node.getName() + " " + getDisjunct(getTryNext()); } }
public Clash copyTo(final ABoxImpl abox) { return new Clash(abox.getNode(getNode().getName()), getType(), getDepends(), _clashExplanation); }
@Test public void instanceCheckForMergedNode() { classes(_D, _E); individuals(_a, _b, _c, _d, _e); _kb.addType(_a, oneOf(_b, _c)); _kb.addSubClass(_E, not(_D)); _kb.addType(_a, _D); assertTrue(_kb.isConsistent()); final ATermAppl mergedTo = _kb.getABox().getIndividual(_a).getMergedTo().getName(); _kb.addType(mergedTo, oneOf(_d, _e)); assertTrue(_kb.isConsistent()); assertTrue(_kb.isType(_a, not(_E))); }