Re: modern logic classes

From: Robert Ramey (ramey_at_[hidden])
Date: 2024-05-17 22:42:40

On 5/17/24 2:53 AM, Daniele Lupo via Boost wrote:
> On 25/04/2024 22:55, Robert Ramey via Boost wrote:
>>
>> Interesting idea.
>>
>> But rather than messing with tribool, I'd prefer to just see a new 
>> library quadbool.
>>
>> Robert Ramey
> 
> At this point I'd like to know if it's possible to thread mathematically 
> the N-bool problem and create a library for generic multidimensional 
> bool that works with templates allowing to determine N at compile time. 
> Because in the future we should have a 8-bool implementation, and so on...
> 

actually, bool, tribool, quadbool, etc....  are just special cases of 
enum {...}  Soo

using bool enum{0, 1} // false, true
using tribool enum {0, 1, 3} // false, true, indeterminant
using quadbool enum {0, 1, 3, 4} // false, true, indeterminant
...
with negation, conjunction, disjunction and whatever else is necessary.

Robert Ramey