|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface PlanStats
Statistics provided by a planning algorithm after it has been asked to plan or replan.
Planner
Method Summary | |
---|---|
void |
addStats(PlanStats stats)
Increments, or otherwise modifies, the values in this object using values from the specified PlanStats object. |
void |
recordStat(java.lang.String key,
java.lang.Object value)
Records a statistic. |
void |
report(java.io.PrintStream out)
Prints a plain text description of the statistics and their values. |
Method Detail |
---|
void recordStat(java.lang.String key, java.lang.Object value)
void addStats(PlanStats stats)
The two PlanStats objects involved when this method is called normally have to agree about value classes. Different statistics may have different value classes. Classes that implement PlanStats are free to combine the values in any way they want, and for a numeric statistic, the combined value does not have to be a straight sum.
void report(java.io.PrintStream out)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |