Interface EvaluableQueryValidator

public interface EvaluableQueryValidator
Validates whether queries can be handled by the available evaluators.

  • Method Summary

    Static Methods
    Modifier and Type
    Method
    Description
    static boolean
    check(Query q)
    Checks whether the supplied query can be evaluated.
    static boolean
    checkAtomicQuery(FOQuery<Atom> atomicQuery)
    Checks whether the supplied atomic query is supported.
    static boolean
    checkAtomSet(Collection<Atom> atomset)
    Checks whether the supplied atom set can be evaluated as a whole.

  • Method Details

    • check

      static boolean check(Query q)
      Checks whether the supplied query can be evaluated.
      Parameters:
      q - query
      Returns:
      true iff the query is evaluable

    • checkAtomicQuery

      static boolean checkAtomicQuery(FOQuery<Atom> atomicQuery)
      Checks whether the supplied atomic query is supported.
      Parameters:
      atomicQuery - atomic query
      Returns:
      true iff the atomic query is supported

    • checkAtomSet

      static boolean checkAtomSet(Collection<Atom> atomset)
      Checks whether the supplied atom set can be evaluated as a whole.
      Parameters:
      atomset - atomset to be checked as a whole; it must not contain a functional term in more than one atom because the backtrack cannot support that
      Returns:
      true iff the atomet is evaluable