Interface RuleLabeler

All Known Implementing Classes:
DefaultRuleLabeler
public interface RuleLabeler
Assigns labels to rules.
Author:
Clément Sipieter (INRIA) <clement@6pi.fr>

  • Method Summary

    Modifier and Type
    Method
    Description
    void
    setLabel(Rule r)
    Assigns a label to the provided rule if needed.

  • Method Details

    • setLabel

      void setLabel(Rule r)
      Assigns a label to the provided rule if needed.
      Parameters:
      r - the rule to label