Preferences/settings for debugger
Boda has the idea to add preferences/settings for the debugger.
possible settings are:
- selection of reasoner to be used
- keep alive time for a debugging session (currently it is hard coded to 10 minutes).
- debugger preferences for diagnosis engine and query calculation (not clear if all are useful) maybe:
- max. size of diagnoses (currently this preference is set to 0 which means compute all diagnoses)
- query enrichment (currently active, but can be expensive due to reasoner involvment)
Edited by bodawe