Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

Re: M0020.01 Comparing comparisons NO

Dominique Lohez wrote:

Concerning the decorations, I would like to  raised a related question.
I am not sure it is of its  practical interest   but ..
Must  the the comparison  return a boolean   or let  us say  a tetrit   ?

The  question can arise for example for isDisjunct

Due to the the containment the condition X isDisjunct   Y  may be false
while for some X' and   Y' include in X and Y X' isDisjunct  Y' is true


Dominique,
You may (or may not) find this document on a proposed bool_set standard to be relevant to that question: 

http://www-sop.inria.fr/members/Sylvain.Pion/cxx/bool_set/bool_set_N2046.pdf

Sincerely,

Nate