[Date Prev][Date Next][Thread Prev][Thread Next][Author Index][Date Index][Thread Index]
partial orgl terminology
- To: <mark>
- Subject: partial orgl terminology
- From: Eric Dean Tribble <tribble>
- Date: Fri, 1 Sep 89 18:06:28 PDT
- Cc: <us>
- In-reply-to: <MarkS.Miller'smessageofFri>,28 PDT <8909020043.AA08389@xxxxxxxxxx>
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.