Skip to Main content Skip to Navigation
Reports

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
3 Department of Computer Science and Engineerin [New York]
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.
keyword : C++ standardization library interval arithmetic certification multi-valued logic
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 : Wednesday, November 20, 2019 - 2:48:13 AM
Document(s) archivé(s) le : Monday, September 20, 2010 - 4:47:45 PM

Files

Vignette du document
RR-5967.pdf

Identifiers

  • HAL Id : inria-00089230, version 2

Collections

INRIA | INRIA-RRRT | CNRS | LIP | ENS-LYON | LARA | UNIV-LYON1 | UDL

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

463

Files downloads

271

 

Contact                    Legal Notice                    Personal Data