Re: [boost] mutex feature diagram

From: Beman Dawes (beman_at_[hidden])
Date: 2000-08-30 07:14:29

John Maddock wrote:

 >>I thought about this, and I think it doesn't quite have the meaning we
 >want. I think the above means you can have a mutex component that
 >supports both ceiling and inherited, but not necessarily be able to
 >turn them both "on" at the same time.
 ><
 >
 >Isn't + an inclusive OR and | an exclusive OR?  I've only just started
 >reading the book and I haven't got that far yet, but that was my reading 
of
 >Beman's synopsis.

Yes, that is correct.

(a|b|c) means "one of" a, b, or c.
(a+b+c) means "one or more of" a, b, or c.
[a|b|c] means "zero or one of" a, b, or c.
[a+b+c] means "zero or more of" a, b, or c.

I choose | as the exclusive OR symbol because that is the traditional usage 
for describing options.

I choose + as the inclusive OR symbol because it seemed to denote "more" 
better that several other symbols I tried.

--Beman