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:
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?
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk