-----Original Message----- From: Boost [mailto:boost-bounces@lists.boost.org] On Behalf Of Bjorn Reese Sent: 07 July 2015 21:47 To: boost@lists.boost.org Subject: 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:
Neat. Looks good to me - just needs a bit of Boostification and some docs - and tests that it really is a drop-in replacement for the current code? Paul