Class RuleAppplicationStatistics

java.lang.Object
fr.inria.rules.integraal.forward_chaining.chase.rule_applier.RuleAppplicationStatistics
public class RuleAppplicationStatistics extends Object
Collects timing statistics for rule-application steps.

  • Field Details

    • counter

      public int counter
      Index of the current statistics entry.

    • groupRulesByBodyQueries

      public List<org.apache.commons.math3.util.Pair<Collection<FORule>, Long>> groupRulesByBodyQueries
      Timings for grouped rules sharing a body query.

    • computeSubstitutionsForRule

      public List<Map<FOQuery<?>, Long>> computeSubstitutionsForRule
      Timings for computing substitutions for each body query.

    • checkTrigger

      public List<Map<org.apache.commons.math3.util.Pair<FORule, Substitution>, Long>> checkTrigger
      Timings for trigger checking.

    • applyTrigger

      public List<Map<org.apache.commons.math3.util.Pair<FORule, Substitution>, Long>> applyTrigger
      Timings for trigger application.

  • Constructor Details

    • RuleAppplicationStatistics

      public RuleAppplicationStatistics()
      Creates an empty rule-application statistics collector.

  • Method Details

    • prettyPrintAtIndex

      public String prettyPrintAtIndex(int n)
      Returns a pretty printed string of the statistics at the given index position. For each list, the element at position n is considered. If the list is empty or does not have an element at that position, a corresponding message is shown.
      Parameters:
      n - the position to consider from each list
      Returns:
      a formatted string for the statistics at index n