Class ByPredicateScheduler

java.lang.Object
fr.inria.rules.integraal.forward_chaining.chase.rule_scheduler.ByPredicateScheduler
All Implemented Interfaces:
RuleScheduler
public class ByPredicateScheduler extends Object implements RuleScheduler
Schedules all the rules that can be triggered by rules applied at the previous step according to the graph of rule dependencies

  • Constructor Details

    • ByPredicateScheduler

      public ByPredicateScheduler(RuleBase rb)
      Creates a scheduler backed by the provided rule base.
      Parameters:
      rb - the rulebase

  • Method Details

    • init

      public void init(RuleBase rb)
      Description copied from interface: RuleScheduler
      Initialize the rule applier for the given chase
      Specified by:
      init in interface RuleScheduler
      Parameters:
      rb - the rulebase

    • getRulesToApply

      public Collection<FORule> getRulesToApply(Collection<FORule> last_applied_rules)
      Description copied from interface: RuleScheduler
      Returns the rules that should be applied at the next chase step.
      Specified by:
      getRulesToApply in interface RuleScheduler
      Parameters:
      last_applied_rules - rules applied at the last step
      Returns:
      the rules to apply at the next step

    • describe

      public String describe()
      Description copied from interface: RuleScheduler
      Returns a textual description of the rule scheduler.
      Specified by:
      describe in interface RuleScheduler
      Returns:
      a textual description of the scheduler

    • getCorrespondingParameter

      public IGParameter<InteGraalKeywords, ?> getCorrespondingParameter()
      Description copied from interface: RuleScheduler
      Returns the configuration parameter corresponding to this scheduler.
      Specified by:
      getCorrespondingParameter in interface RuleScheduler
      Returns:
      the parameter corresponding to this object