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
Contributeur : Rapport de Recherche Inria
<>
Soumis le : vendredi 18 août 2006 - 17:00:03
Dernière modification le : samedi 21 avril 2018 - 01:27:21
Document(s) archivé(s) le : lundi 20 septembre 2010 - 16:47:45
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〉
