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.
Type de document :
Rapport
[Research Report] RR-5967, INRIA. 2006, pp.22
Liste complète des métadonnées

Littérature citée [6 références]  Voir  Masquer  Télécharger

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 : mardi 16 janvier 2018 - 16:25:57
Document(s) archivé(s) le : lundi 20 septembre 2010 - 16:47:45

Fichiers

Identifiants

  • HAL Id : inria-00089230, version 2

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〉

Partager

Métriques

Consultations de la notice

214

Téléchargements de fichiers

138