Class QueryUnifierAlgorithm

java.lang.Object
fr.inria.rules.integraal.unifier.QueryUnifierAlgorithm
public class QueryUnifierAlgorithm extends Object
Computes the most general single piece unifiers This uses Mélanie König's thesis algorithms
These algorithms also take into account a compilation of the rules

  • Constructor Details

    • QueryUnifierAlgorithm

      public QueryUnifierAlgorithm()
      Default constructor. Uses no compilation

    • QueryUnifierAlgorithm

      public QueryUnifierAlgorithm(RuleCompilation compilation)
      Constructor with compilation
      Parameters:
      compilation - the compilation to use

  • Method Details

    • getMostGeneralSinglePieceUnifiers

      public Collection<QueryUnifier> getMostGeneralSinglePieceUnifiers(FOQuery<?> q, FORule r)
      Algorithm 2 in Mélanie König's thesis Computes the single piece most general unifiers of the given query with the given rule The rule and the query must have a disjoint set of variables
      Parameters:
      q - the query
      r - the rule
      Returns:
      all the most general single piece unifiers of the query with the rule