Class RuleConverter

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

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

    • convert

      public static Rule convert(FORule rule)
      Converts the given FORule into a Graal Rule
      Parameters:
      rule - the rule to convert
      Returns:
      the converted rule
    • convert2

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

      public static FORule reverse(Rule rule)
      Converts the given Graal Rule into a FORule
      Parameters:
      rule - the rule to convert
      Returns:
      the converted rule