Class MSAProperty

java.lang.Object
fr.lirmm.graphik.integraal.rulesetanalyser.property.RuleSetProperty.Default
fr.lirmm.graphik.integraal.rulesetanalyser.property.MSAProperty
All Implemented Interfaces:
RuleSetProperty
public final class MSAProperty extends RuleSetProperty.Default
Model-summarizing acyclicity property.

  • Method Details

    • instance

      public static MSAProperty 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)
      Description copied from interface: RuleSetProperty
      Check whether the given rule set satisfies the property or does not.
      Specified by:
      check in interface RuleSetProperty
      Overrides:
      check in class RuleSetProperty.Default
      Parameters:
      ruleSet - the rule set to evaluate
      Returns:
      A negative value if the ruleset does not satisfy the property, a positive value if it does, and 0 if unknown.

    • 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

    • translateToMSA

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

    • translateRuleToMSA

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

    • buildMSASubstitution

      public static Substitution buildMSASubstitution(Rule r)
      Builds the substitution used by the MSA encoding.
      Parameters:
      r - the rule whose existentials must be replaced
      Returns:
      the corresponding substitution