- /* Conflict resolution sometimes makes states unreachable. Initialized to 0
- in state_new and then used by state_remove_unreachable_states after
- conflicts_solve. */
- bool reachable;
-
- /* Its items. Must be last, since ITEMS can be arbitrarily large.
- */
+ /* Its items. Must be last, since ITEMS can be arbitrarily large. Sorted
+ ascendingly on item index in RITEM, which is sorted on rule number. */