diff --git a/src/storm/storage/Scheduler.h b/src/storm/storage/Scheduler.h index 91681511f..1a8322e81 100644 --- a/src/storm/storage/Scheduler.h +++ b/src/storm/storage/Scheduler.h @@ -62,6 +62,7 @@ namespace storm { /*! * Set the combination of model state and memoryStructure state to dontCare. + * These states are considered unreachable and are ignored when printing the scheduler. * If not specified otherwise, an arbitrary choice is set if no choice exists. * * @param modelState The state of the model. @@ -134,6 +135,7 @@ namespace storm { * @param model If given, provides additional information for printing (e.g., displaying the state valuations instead of state indices) * @param skipUniqueChoices If true, the (unique) choice for deterministic states (i.e., states with only one enabled choice) is not printed explicitly. * Requires a model to be given. + * @param skipDontCareStates If true, the choice for dontCareStates states is not printed explicitly. */ void printToStream(std::ostream& out, std::shared_ptr> model = nullptr, bool skipUniqueChoices = false, bool skipDontCareStates = false) const;