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 InriaConnect in order to contact the contributor Submitted on : Friday, August 18, 2006 - 5:00:03 PM Last modification on : Friday, February 4, 2022 - 3:22:50 AM 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⟩