Missing Definition for TaskOptions

[Anjiang-Wei]

All other callback functions's input/output data structures' definitions are explicitly shown in the manual, except the select_task_options API. I suggest adding the definition of TaskOptions (from legion/runtime/legion/legion_mapping.h) to make the manual more consistent:

struct TaskOptions {
        Processor                              initial_proc; // = current
        bool                                   inline_task;  // = false
        bool                                   stealable;   // = false
        bool                                   map_locally;  // = false
        bool                                   valid_instances; // = true
        bool                                   memoize;  // = false
        bool                                   replicate; // = false
        TaskPriority                           parent_priority; // = current
      };

https://github.com/StanfordLegion/legion/blob/stable/runtime/legion/legion_mapping.h#L350-L359

[lightsighter]

This is a broader problem of how to keep the manual in sync with the code. I don't think we have a good answer right now and we'll just need to update as we go. I wouldn't add the new members to the struct though in the manual until we actually write some description of what they do.