Subject: Re: [boost] Ternary logic programming
From: Bjorn Reese (breese_at_[hidden])
Date: 2015-07-07 16:47:09
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