Published 2006
| Version v1
Report
A proposal for the C++ standard : Bool_set, multi-valued logic
Contributors
Others:
- Geometric computing (GEOMETRICA) ; Centre Inria d'Université Côte d'Azur (CRISAM) ; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)
- Computer arithmetic (ARENAIRE) ; Centre Inria de l'Université Grenoble Alpes ; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire de l'Informatique du Parallélisme (LIP) ; École normale supérieure de Lyon (ENS de Lyon) ; Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL) ; Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure de Lyon (ENS de Lyon) ; Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL) ; Université de Lyon-Centre National de la Recherche Scientifique (CNRS)
- Department of Computer Science and Engineerin [New York] ; NYU Polytechnic School of Engineering
- INRIA
Description
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.
Additional details
Identifiers
- URL
- https://inria.hal.science/inria-00089230
- URN
- urn:oai:HAL:inria-00089230v2
Origin repository
- Origin repository
- UNICA