Which time does each sentence take to ground?
Add such an output to some low verbosity level
Comments (7)
-
reporter -
reporter Errors, verbosity, timing
Updated solver Refs
#102: Added a new set option, which contains a set of characters notifying which verbosity we are interested in.Refactored the warnings and removed the printing of the first error, only done when there are lots. TODO might become when there is lot of output.
Refs #183: Tried to add timing of the grounding of a sentence, but was problematic because a grounder does no really know whether he is a toplevel sentence => what is the correct granularity?
-
Maybe we can give every grounder a flag whether or not he should be timed?
-
reporter Yes, the grounderfactory can probably set this flag for each sentence it creates a grounder for.
-
reporter - removed milestone
Removing milestone: Later (automated comment)
-
- changed status to resolved
Seems to be working now ;-)
-
reporter - changed status to open
Only works properly for rules. Sentences still go wrong in some cases.
- Log in to comment
Errors, verbosity, timing
Updated solver Refs
#102: Added a new set option, which contains a set of characters notifying which verbosity we are interested in.Refactored the warnings and removed the printing of the first error, only done when there are lots. TODO might become when there is lot of output.
Refs #183: Tried to add timing of the grounding of a sentence, but was problematic because a grounder does no really know whether he is a toplevel sentence => what is the correct granularity?
→ aca25f44f36f