Class PredicateConverter

java.lang.Object
fr.inria.rules.integraal.util.converter.PredicateConverter

public class PredicateConverter extends Object
Converts Predicate to and from Graal's Predicate
This is used for compatibility with Graal 1.3 version.
Author:
Florent Tornil
  • Method Details

    • convert

      public static Predicate convert(Predicate p)
      Converts the given Predicate into a Graal Predicate
      Parameters:
      p - the predicate to convert
      Returns:
      the converted predicate
    • convert2

      public static fr.lirmm.graphik.graal.api.core.Predicate convert2(Predicate p)
      Converts the given Predicate into a Graal Predicate
      Parameters:
      p - the predicate to convert
      Returns:
      the converted predicate
    • reverse

      public static Predicate reverse(Predicate p)
      Converts the given Graal Predicate into a Predicate
      Parameters:
      p - the predicate to convert
      Returns:
      the converted predicate