/** {@inheritDoc} */ public void accept(TermVisitor visitor) { if (visitor instanceof PredicateVisitor) { ((PredicateVisitor) visitor).visit(this); } else { super.accept(visitor); } }
/** {@inheritDoc} */ public Variable acceptTransformer(TermTransformer transformer) { if (transformer instanceof VariableTransformer) { return ((VariableTransformer) transformer).transform(this); } else { return (Variable) super.acceptTransformer(transformer); } }
/** {@inheritDoc} */ public Term queryConversion() { try { return (Term) clone(); } catch (CloneNotSupportedException e) { throw new RuntimeException("Got CloneNotSupportedException but clone should be implemented on Terms.", e); } }
/** * Makes a clone of the term, converting its variables to refer directly to their storage cells. * * @return A copy of this term, with entirely independent variables to the term it was copied from. */ public Functor queryConversion() { /*log.fine("public Functor queryConversion(): called)");*/ Functor copy = (Functor) super.queryConversion(); if (arguments != null) { copy.arguments = new Term[arguments.length]; for (int i = 0; i < arguments.length; i++) { copy.arguments[i] = arguments[i].queryConversion(); } } return copy; }
/** {@inheritDoc} */ public Iterator<Operator<Term>> validOperators(boolean reverse) { return getChildren(reverse); }
/** * Makes a clone of the term, converting its variables to refer directly to their storage cells. * * @return A copy of this term, with entirely independent variables to the term it was copied from. */ public Functor queryConversion() { /*log.fine("public Functor queryConversion(): called)");*/ Functor copy = (Functor) super.queryConversion(); if (arguments != null) { copy.arguments = new Term[arguments.length]; for (int i = 0; i < arguments.length; i++) { copy.arguments[i] = arguments[i].queryConversion(); } } return copy; }
/** {@inheritDoc} */ public Iterator<Operator<Term>> validOperators(boolean reverse) { return getChildren(reverse); }
/** {@inheritDoc} */ public void accept(TermVisitor visitor) { if (visitor instanceof ClauseVisitor) { ((ClauseVisitor) visitor).visit(this); } else { super.accept(visitor); } }
/** {@inheritDoc} */ public Variable acceptTransformer(TermTransformer transformer) { if (transformer instanceof VariableTransformer) { return ((VariableTransformer) transformer).transform(this); } else { return (Variable) super.acceptTransformer(transformer); } }
/** * Makes a clone of the term, converting its variables to refer directly to their storage cells. * * @return A copy of this term, with entirely independent variables to the term it was copied from. */ public Clause queryConversion() { Clause copy = (Clause) super.queryConversion(); if (head != null) { copy.head = head.queryConversion(); } if (body != null) { copy.body = new Functor[body.length]; for (int i = 0; i < body.length; i++) { copy.body[i] = body[i].queryConversion(); } } return copy; }
/** {@inheritDoc} */ public Term queryConversion() { try { return (Term) clone(); } catch (CloneNotSupportedException e) { throw new IllegalStateException("Got CloneNotSupportedException but clone should be implemented on Terms.", e); } }
/** {@inheritDoc} */ public void accept(TermVisitor visitor) { if (visitor instanceof LiteralTypeVisitor) { ((LiteralTypeVisitor) visitor).visit(this); } else { super.accept(visitor); } } }
/** {@inheritDoc} */ public Functor acceptTransformer(TermTransformer transformer) { Functor result; if (transformer instanceof FunctorTransformer) { result = ((FunctorTransformer) transformer).transform(this); } else { result = (Functor) super.acceptTransformer(transformer); } if (arguments != null) { for (int i = 0; i < arguments.length; i++) { result.arguments[i] = arguments[i].acceptTransformer(transformer); } } return result; }
/** * Makes a clone of the term, converting its variables to refer directly to their storage cells. * * @return A copy of this term, with entirely independent variables to the term it was copied from. */ public Clause queryConversion() { Clause copy = (Clause) super.queryConversion(); if (head != null) { copy.head = head.queryConversion(); } if (body != null) { copy.body = new Functor[body.length]; for (int i = 0; i < body.length; i++) { copy.body[i] = body[i].queryConversion(); } } return copy; }
/** {@inheritDoc} */ public void accept(TermVisitor visitor) { if (visitor instanceof LiteralTypeVisitor) { ((LiteralTypeVisitor) visitor).visit(this); } else { super.accept(visitor); } } }
/** {@inheritDoc} */ public Functor acceptTransformer(TermTransformer transformer) { Functor result; if (transformer instanceof FunctorTransformer) { result = ((FunctorTransformer) transformer).transform(this); } else { result = (Functor) super.acceptTransformer(transformer); } if (arguments != null) { for (int i = 0; i < arguments.length; i++) { result.arguments[i] = arguments[i].acceptTransformer(transformer); } } return result; }
/** {@inheritDoc} */ public void accept(TermVisitor visitor) { if (visitor instanceof VariableVisitor) { ((VariableVisitor) visitor).visit(this); } else { super.accept(visitor); } }
/** {@inheritDoc} */ public Clause acceptTransformer(TermTransformer transformer) { Clause result; if (transformer instanceof ClauseTransformer) { result = ((ClauseTransformer) transformer).transform(this); } else { result = (Clause) super.acceptTransformer(transformer); } if (head != null) { result.head = (Functor) head.acceptTransformer(transformer); } if (body != null) { for (int i = 0; i < body.length; i++) { result.body[i] = (Functor) body[i].acceptTransformer(transformer); } } return result; }
/** {@inheritDoc} */ public void accept(TermVisitor visitor) { if (visitor instanceof ClauseVisitor) { ((ClauseVisitor) visitor).visit(this); } else { super.accept(visitor); } }
/** {@inheritDoc} */ public Clause acceptTransformer(TermTransformer transformer) { Clause result; if (transformer instanceof ClauseTransformer) { result = ((ClauseTransformer) transformer).transform(this); } else { result = (Clause) super.acceptTransformer(transformer); } if (head != null) { result.head = (Functor) head.acceptTransformer(transformer); } if (body != null) { for (int i = 0; i < body.length; i++) { result.body[i] = (Functor) body[i].acceptTransformer(transformer); } } return result; }