public DependencySet isAtomTrue(final RuleAtom atom, final VariableBinding binding) { final HeadAtomVisitor visitor = new HeadAtomVisitor(); atom.accept(visitor); final BindingTester tester = visitor.getTester(); return tester == null ? null : tester.check(binding); } }
public DependencySet isAtomTrue(final RuleAtom atom, final VariableBinding binding) { final HeadAtomVisitor visitor = new HeadAtomVisitor(); atom.accept(visitor); final BindingTester tester = visitor.getTester(); return tester == null ? null : tester.check(binding); } }