@Override public void visit(final ClassAtom atom) { _tester = new TestClass(ATermUtils.normalize(atom.getPredicate()), atom.getArgument()); }
@Override public String toString() { return "notClass(" + getArg() + ":" + _c + ")"; }
@Override public void visit(final ClassAtom atom) { _tester = new TestClass(ATermUtils.normalize(ATermUtils.negate(atom.getPredicate())), atom.getArgument()); }
@Override public String toString() { return "notClass(" + getArg() + ":" + _c + ")"; }
@Override public DependencySet check(final VariableBinding binding) { final Individual ind = binding.get(getArg()); return ind.getDepends(_c); }
@Override public void visit(final ClassAtom atom) { _tester = new TestClass(ATermUtils.normalize(atom.getPredicate()), atom.getArgument()); }
@Override public void visit(final ClassAtom atom) { _tester = new TestClass(ATermUtils.normalize(ATermUtils.negate(atom.getPredicate())), atom.getArgument()); }
@Override public DependencySet check(final VariableBinding binding) { final Individual ind = binding.get(getArg()); return ind.getDepends(_c); }