Re: [boost] Ternary logic programming

On 07/06/2015 11:21 AM, Paul A. Bristow wrote:

Can this be added to the tribool docs - it might avoid confusion and discussion on future Boost lists.

I suppose so.

Might some MetaMagic allow the user to provide a compile-time template parameter to choose if wants tribool truth-table to be either 'don't, may, or do care'? But provide a default to keep the behaviour as now?

The truth tables can be encoded in traits. I wrote a prototype with this a while back: https://github.com/breese/tribool/blob/master/include/tribool.hpp