Interface RuleScheduler

All Known Implementing Classes:
ByPredicateScheduler, GRDScheduler, NaiveScheduler
public interface RuleScheduler
Computes the rules that need to be applied according to previously applied rules

  • Method Details

    • init

      void init(RuleBase rb)
      Initialize the rule applier for the given chase
      Parameters:
      rb - the rulebase

    • getRulesToApply

      Collection<FORule> getRulesToApply(Collection<FORule> last_applied_rules)
      Returns the rules that should be applied at the next chase step.
      Parameters:
      last_applied_rules - rules applied at the last step
      Returns:
      the rules to apply at the next step

    • describe

      String describe()
      Returns a textual description of the rule scheduler.
      Returns:
      a textual description of the scheduler

    • getCorrespondingParameter

      IGParameter<InteGraalKeywords, ?> getCorrespondingParameter()
      Returns the configuration parameter corresponding to this scheduler.
      Returns:
      the parameter corresponding to this object