A proposal for the C++ standard : Bool_set, multi-valued logic - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2006

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

Sylvain Pion
Guillaume Melquiond

Résumé

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.
Fichier principal
Vignette du fichier
RR-5967.pdf (164.39 Ko) Télécharger le fichier
Loading...

Dates et versions

inria-00089230 , version 1 (15-08-2006)
inria-00089230 , version 2 (18-08-2006)

Identifiants

  • HAL Id : inria-00089230 , version 2

Citer

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⟩
293 Consultations
174 Téléchargements

Partager

Gmail Facebook X LinkedIn More