@Override public Set<ATermAppl> getObjects(final KnowledgeBase kb, final ATermAppl c) { return kb.getComplements(c); } });
@Override public Set<ATermAppl> getSubjects(final KnowledgeBase kb, final ATermAppl c) { return kb.getComplements(c); } });
@Override public Set<ATermAppl> getObjects(final KnowledgeBase kb, final ATermAppl c) { return kb.getComplements(c); } });
@Override public Set<ATermAppl> getSubjects(final KnowledgeBase kb, final ATermAppl c) { return kb.getComplements(c); } });
@Override public Set<ATermAppl> getSubjects(final KnowledgeBase kb, final ATermAppl c) { return kb.getComplements(c); } });
@Override public Set<ATermAppl> getObjects(final KnowledgeBase kb, final ATermAppl c) { return kb.getComplements(c); } });
@Override public Iterator<ATermAppl> getObjects(final KnowledgeBase kb, final ATermAppl subj) { return kb.getComplements(subj).iterator(); }
@Override public Iterator<ATermAppl> getObjects(final KnowledgeBase kb, final ATermAppl subj) { return kb.getComplements(subj).iterator(); }
@Override public Iterator<ATermAppl> getObjects(final KnowledgeBase kb, final ATermAppl subj) { return kb.getComplements(subj).iterator(); }
final Set<ATermAppl> comp = _kb.getComplements(c); if (!comp.isEmpty())
final Set<ATermAppl> comp = _kb.getComplements(c); if (!comp.isEmpty())
final Set<ATermAppl> comp = _kb.getComplements(c); if (!comp.isEmpty())
assertIteratorValues(kb.getDisjointClasses(BOTTOM).iterator(), new Object[] { singleton(TOP), singleton(A), singleton(B), singleton(C), singleton(D), singleton(BOTTOM) }); assertIteratorValues(kb.getComplements(TOP).iterator(), new Object[] { BOTTOM }); assertTrue(kb.getComplements(A).isEmpty()); assertIteratorValues(kb.getComplements(B).iterator(), new Object[] { C }); assertIteratorValues(kb.getComplements(C).iterator(), new Object[] { B }); assertTrue(kb.getComplements(D).isEmpty()); assertIteratorValues(kb.getComplements(BOTTOM).iterator(), new Object[] { TOP }); assertIteratorValues(kb.getDisjointClasses(not(D)).iterator(), new Object[] { singleton(BOTTOM), singleton(D) }); assertIteratorValues(kb.getComplements(not(A)).iterator(), new Object[] { A }); assertIteratorValues(kb.getComplements(not(B)).iterator(), new Object[] { B }); assertIteratorValues(kb.getComplements(not(C)).iterator(), new Object[] { C }); assertIteratorValues(kb.getComplements(not(D)).iterator(), new Object[] { D });
for (final ATermAppl dependent : _kb.getComplements(known)) runSymetricCheck(current, coLHS, known, coRHS, dependent, binding); else
for (final ATermAppl dependent : _kb.getComplements(known)) runSymetricCheck(current, coLHS, known, coRHS, dependent, binding); else
for (final ATermAppl dependent : _kb.getComplements(known)) runSymetricCheck(current, coLHS, known, coRHS, dependent, binding); else