Class DefaultRuleLabeler

java.lang.Object
fr.lirmm.graphik.integraal.core.DefaultRuleLabeler
All Implemented Interfaces:
RuleLabeler

public class DefaultRuleLabeler extends Object implements RuleLabeler
Default implementation that assigns synthetic labels to unlabeled rules.
Author:
Clément Sipieter (INRIA) <clement@6pi.fr>
  • Constructor Details

    • DefaultRuleLabeler

      public DefaultRuleLabeler()
      Creates a labeler with an empty set of already assigned labels.
    • DefaultRuleLabeler

      public DefaultRuleLabeler(Set<String> alreadyAffected)
      Creates a labeler initialized with an existing set of assigned labels.
      Parameters:
      alreadyAffected - the labels that are already in use
  • Method Details

    • setLabel

      public void setLabel(Rule rule)
      Assigns a label to the provided rule if needed.
      Specified by:
      setLabel in interface RuleLabeler
      Parameters:
      rule - the rule to label