NAME
firing-counts - Print production firing counts
SYNOPSIS
firing-counts [integer | production-names]
DESCRIPTION
This command prints information about production firings.
If an option is not given, then all productions are printed in
a sorted list according to how many times they have fired.
OPTIONS
If given, an option can take one of two forms -- an integer or a list
of production names:
- integer
- List the top integer productions. If integer is 0,
only the productions which haven't fired are listed.
- production-names
- For each production in production-names, print how many
times the production has fired.
EXAMPLES
This example prints the 10 productions which have fired the most
times along with their firing counts:
firing-counts 10
This example prints the firing counts of productions
my*first*production and my*second*production:
firing-counts my*first*production my*second*production
WARNINGS
firing-counts are reset to zero after an init-soar
NB: This command is slow, because the sorting takes time
O(n*log n)