[Date Prev][Date Next][Thread Prev][Thread Next][Author Index][Date Index][Thread Index]

partial orgl terminology



What are you unsure about?  Your definition is correct: an empty
   complete orgl is ready.  If you want to say "a non-empty ready orgl",
   then say "a non-empty ready orgl".

Consider defining 'ready' using the splitReadyFromRest operation.  The
alternatives then become:

an orgl is ready if the splitReadyFromRest operation on the orgl
creates a complete and non-empty orlg for the Ready part of the
result.

OR:

an orgl is ready if the splitReadyFromRest operation on the orgl
creates a complete and empty orgl for the Rest part of the
result.

Actually the splitReadyFromRest operation should be defined as a
result of the semantics, but this is a good way to think of the
alternatives.