A proposal for the C++ standard : Bool_set, multi-valued logic

Sylvain Pion 1 Guillaume Melquiond 2 Hervé Brönnimann 3
1 GEOMETRICA - Geometric computing
CRISAM - Inria Sophia Antipolis - Méditerranée
2 ARENAIRE - Computer arithmetic
Inria Grenoble - Rhône-Alpes, LIP - Laboratoire de l'Informatique du Parallélisme
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.
Document type :
Reports
Complete list of metadatas

Cited literature [6 references]  Display  Hide  Download

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

Identifiers

  • HAL Id : inria-00089230, version 2

Collections

Citation

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⟩

Share

Metrics

Record views

443

Files downloads

242