Programmes par hdl.sf.net

Les classes de modèles C++ pour la logique multi-valeur s’appuient sur une précision arbitraire et des types logiques multi-valeurs définis par l’utilisateur. Cette bibliothèque est livré avec des types de données prédéfini: