Re: [boost] Ternary logic programming

Subject: Re: [boost] Ternary logic programming
From: Paul A. Bristow (pbristow_at_[hidden])
Date: 2015-07-08 05:07:36

> -----Original Message-----
> From: Boost [mailto:boost-bounces_at_[hidden]] On Behalf Of Bjorn Reese
> Sent: 07 July 2015 21:47
> To: boost_at_[hidden]
> 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