[[PageOutline]]

= Objets Simples & Opérateurs =

Pour valider la description d'un circuit intégré, il est nécessaire de passer par une
étape de simulation (cf. {{{asimut}}}). Une variable à l'intérieur du simulateur est
un booléen, mais dans certains cas on peut ne pas connaître sa valeur. Le simulateur
introduit donc un nouveau type de variable pouvant prendre trois valeurs: '''0''',
'''1''' ou '''U''' ({{{Undefined}}} ou encore {{{non-définie}}}).

Au cours de ce TME nous allons créer ce nouveau type (ou classe) que nous appellerons
{{{BoolValue}}}.


== Spécification de {{{BoolValue}}} ==

La classe {{{BoolValue}}} va contenir un seul attribut {{{_value}}} qui sera de type
entier et ne pourra prendre que trois valeurs: 0, 1 ou 2 ayant respectivement la
signification {{{Zero}}}, {{{One}}} et {{{Undefined}}}.

Plutôt que travailler avec des constantes numériques, nous allons utiliser des
constantes nommées. On réalise cela avec un {{{enum}}}, comme ci-après:

{{{
class BoolValue {
  public:
    enum Value { Zero=0, One=1, Undefined=2 };
  public:
    // ...
};
}}}

A l'extérieur de la classe on les référencera avec la syntaxe {{{BoolValue::Undefined}}}
et à l'intérieur, simplement comme {{{Undefined}}}.

La classe {{{BoolValue}}} possèdera les fonctions membres suivantes:

Constructeurs: (''CTOR'')
* {{{BoolValue()}}}, le constructeur par défaut, devra affecter la valeur {{{Zero}}}.
* {{{BoolValue{{{int}}}, un contructeur à partir d'un entier ordinaire. Tout entier
  de valeur supérieure ou égale à 2 sera considéré comme {{{Undefined}}}.
* {{{BoolValue(const BoolValue&)}}}, un constructeur par copie.

Destructeur: (''DTOR'')
* {{{~BoolValue()}}}, le destructeur (unique).

Accesseurs: (''Accessors'')
* {{{print(std::ostream&)}}}, une fonction d'affichage.
* {{{toInt()}}}, une fonction de conversion vers un entier.

Modifieur: (''Mutators'')
* {{{fromInt(int)}}}, affectation depuis un entier.

En plus des fonctions membres listées çi dessus, on ajoute les fonctions non-membres
suivantes permettant de réaliser des opérations logiques:
* {{{BoolValue non(const BoolValue&)}}}, négation logique.
* {{{BoolValue ou (const BoolValue&, const BoolValue&), ''ou'' logique.
* {{{BoolValue et (const BoolValue&, const BoolValue&), ''et'' logique.

La table de vérité des fonctions négation et ''ou'' vous est fournie çi-après.

[[Image(TruthTable-1.png,70%,align=center)]]

=== Question 1 ===

Implanter la class {{{BoolValue}}} telle que décrite précédemment. La tester à
l'aide du petit programme de test suivant:

[[Image(CheckOuCode-1.png,70%,align=center)]