Class MFAProperty

java.lang.Object
fr.lirmm.graphik.integraal.rulesetanalyser.property.RuleSetProperty.Default
fr.lirmm.graphik.integraal.rulesetanalyser.property.MFAProperty
All Implemented Interfaces:
RuleSetProperty
public final class MFAProperty extends RuleSetProperty.Default
There is no cycle of functional symbol during the skolem chase executed on the critical instance.

  • Method Details

    • instance

      public static MFAProperty instance()
      Returns the singleton instance.
      Returns:
      the singleton property instance

    • getFullName

      public String getFullName()
      Description copied from interface: RuleSetProperty
      Returns the full human-readable name of this property.
      Returns:
      the full property name

    • getDescription

      public String getDescription()
      Description copied from interface: RuleSetProperty
      Returns a human-readable description of this property.
      Returns:
      the property description

    • check

      public int check(AnalyserRuleSet ruleSet)
      Evaluates the property on the given analysed rule set.
      Specified by:
      check in interface RuleSetProperty
      Overrides:
      check in class RuleSetProperty.Default
      Parameters:
      ruleSet - the analysed rule set
      Returns:
      the evaluation result

    • getLabel

      public String getLabel()
      Description copied from interface: RuleSetProperty
      This method must return a label not used by any other rule property or undefined behaviour is to be expected.
      Returns:
      the short property label

    • getGeneralisations

      public Iterable<RuleSetProperty> getGeneralisations()
      Description copied from interface: RuleSetProperty
      Returns the direct generalisations of this property.
      Specified by:
      getGeneralisations in interface RuleSetProperty
      Overrides:
      getGeneralisations in class RuleSetProperty.Default
      Returns:
      the direct generalisations

    • translateToMFA

      public static RuleSet translateToMFA(Iterable<Rule> rules)
      Translates a rule set into its MFA encoding.
      Parameters:
      rules - the rules to translate
      Returns:
      the translated rule set

    • translateRuleToMFA

      public static List<Rule> translateRuleToMFA(Rule r)
      Translates one rule into the rules used by the MFA encoding.
      Parameters:
      r - the rule to translate
      Returns:
      the translated rules