public boolean assertAtom(final RuleAtom atom, final VariableBinding binding, final DependencySet ds, final boolean negated, final ABox abox, final CompletionStrategy strategy) { _asserted = true; _binding = binding; _ds = ds; _negated = negated; _strategy = strategy; _abox = abox; atom.accept(this); return _asserted; }
/** * @param atom * @return maybe true if _atom is something that will be added to the ABox during completion. */ public boolean isSafe(final RuleAtom atom) { atom.accept(this); return result; }
public ATermAppl translate(final RuleAtom ruleAtom) { _term = null; ruleAtom.accept(this); return _term; }
public ATermAppl translate(final RuleAtom ruleAtom) { _term = null; ruleAtom.accept(this); return _term; }
public String explainNotUsable(final RuleAtom atom) { _notUsableMessage = null; atom.accept(this); return _notUsableMessage; } }
/** * @param atom * @return maybe true if _atom is something that will be added to the ABox during completion. */ public boolean isSafe(final RuleAtom atom) { atom.accept(this); return result; }
public boolean assertAtom(final RuleAtom atom, final VariableBinding binding, final DependencySet ds, final boolean negated, final ABox abox, final CompletionStrategy strategy) { _asserted = true; _binding = binding; _ds = ds; _negated = negated; _strategy = strategy; _abox = abox; atom.accept(this); return _asserted; }
public String explainNotUsable(final RuleAtom atom) { _notUsableMessage = null; atom.accept(this); return _notUsableMessage; } }
private ProductionNode create(final RuleAtom atom) { _node = null; atom.accept(this); if (_node == null) throw new UnsupportedOperationException("Not supported " + atom); return _node; }
private AlphaNode create(final RuleAtom atom) { _result = null; atom.accept(this); if (_result == null) throw new UnsupportedOperationException("Not supported " + atom); return _result; }
private AlphaNode create(final RuleAtom atom) { _result = null; atom.accept(this); if (_result == null) throw new UnsupportedOperationException("Not supported " + atom); return _result; }
private ProductionNode create(final RuleAtom atom) { _node = null; atom.accept(this); if (_node == null) throw new UnsupportedOperationException("Not supported " + atom); return _node; }
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); } }
public Collection<BindingHelper> getHelpers(final Rule rule) { final Collection<BindingHelper> helpers = new ArrayList<>(); final BodyAtomVisitor bodyVisitor = new BodyAtomVisitor(); for (final RuleAtom atom : rule.getBody()) { atom.accept(bodyVisitor); if (bodyVisitor.getTester() != null) helpers.add(new FilterHelper(bodyVisitor.getTester(), VariableUtils.getVars(atom))); } return helpers; }
public Collection<BindingHelper> getHelpers(final Rule rule) { final Collection<BindingHelper> helpers = new ArrayList<>(); final BodyAtomVisitor bodyVisitor = new BodyAtomVisitor(); for (final RuleAtom atom : rule.getBody()) { atom.accept(bodyVisitor); if (bodyVisitor.getTester() != null) helpers.add(new FilterHelper(bodyVisitor.getTester(), VariableUtils.getVars(atom))); } return helpers; }
for (final RuleAtom pattern : rule.getBody()) pattern.accept(selectiveVisitor); instanceVariables.addAll(VariableUtils.getIVars(pattern)); dataVariables.addAll(VariableUtils.getDVars(pattern));
for (final RuleAtom pattern : rule.getBody()) pattern.accept(selectiveVisitor); instanceVariables.addAll(VariableUtils.getIVars(pattern)); dataVariables.addAll(VariableUtils.getDVars(pattern));