Abstract : We propose a design for multi-valued logic, for integration into the C++ standard. The main motivation for this class comes from interval arithmetic, where it can be conveniently used as return type of comparison operators. It also has many other potential applications.
https://hal.inria.fr/inria-00089230
Contributor : Rapport de Recherche Inria
<>
Submitted on : Friday, August 18, 2006 - 5:00:03 PM
Last modification on : Thursday, February 7, 2019 - 1:59:59 PM
Long-term archiving on : Monday, September 20, 2010 - 4:47:45 PM
Sylvain Pion, Guillaume Melquiond, Hervé Brönnimann. A proposal for the C++ standard : Bool_set, multi-valued logic. [Research Report] RR-5967, INRIA. 2006, pp.22. ⟨inria-00089230v2⟩
