public static boolean isNegativeConstraint(Rule r) { if (!AtomSetUtils.isSingleton(r.getHead())) return false; return r.getHead().iterator().next().equals(DefaultAtomFactory.instance().getBottom()); }
public static boolean isNegativeConstraint(Rule r) { if (!AtomSetUtils.isSingleton(r.getHead())) return false; return r.getHead().iterator().next().equals(DefaultAtomFactory.instance().getBottom()); }