Class WeaklyAcyclicProperty

java.lang.Object
fr.lirmm.graphik.integraal.rulesetanalyser.property.RuleSetProperty.Default
fr.lirmm.graphik.integraal.rulesetanalyser.property.WeaklyAcyclicProperty
All Implemented Interfaces:
RuleSetProperty
public final class WeaklyAcyclicProperty extends RuleSetProperty.Default
All predicate positions in the graph of position dependencies have finite rank (i.e., there is no circuit with a special edge) (cf. GraphPositionDependencies).
Author:
Clément Sipieter (INRIA) <clement@6pi.fr>, Swan Rocher

  • Method Details

    • instance

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

    • 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.

    • 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

    • 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