W3C home > Mailing lists > Public > public-qt-comments@w3.org > January 2005

set inclusion of occurrences

From: Paul J. Lucas <plucas@bea.com>
Date: Wed, 5 Jan 2005 17:45:13 -0800 (PST)
To: public-qt-comments@w3.org
Message-ID: <Pine.LNX.4.44.0501051739270.16975-100000@g4.pauljlucas.org>

	Hi -

	In the Formal Semantics, section 7.5.1, it contains a sentence:

		... where the "<=" operator for occurrence
		indicators denotes set inclusion of the subsets
		of the allowed occurrences.

	Can you please explain that in more detail?  Specifically, given
	the occurrence indicators:

		0 1 ? * +

	can you either specify a strict ordering of those or can you
	specify the table for "<=", i.e.:

		a | b | a <= b
		==============
		0 | 0 |
		0 | 1 |
		0 | ? |
		0 | * |
		0 | + |
		1 | 0 |
		1 | 1 |
		1 | ? |
		1 | * |
		1 | + |
		...
		+ | 0 |
		+ | 1 |
		+ | ? |
		+ | * |
		+ | + |

	?  Thanks.

	- Paul
Received on Thursday, 6 January 2005 01:45:15 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:03 UTC