A proposal for the C++ standard : Bool_set, multi-valued logic - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 2006

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

Sylvain Pion
Guillaume Melquiond

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

Dates and versions

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

Identifiers

  • HAL Id : inria-00089230 , version 2

Cite

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⟩
304 View
17175 Download

Share

Gmail Facebook Twitter LinkedIn More