Re: [boost] Ternary logic programming

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