argutia.logic.syntax
Class SyntacticUnit
java.lang.Object
argutia.logic.syntax.SyntacticUnit
- All Implemented Interfaces:
- AffichableAvecStyle
- Direct Known Subclasses:
- ConfigurableSyntacticUnit, PropositionalVariable, WrongSyntacticUnit
public abstract class SyntacticUnit
- extends Object
- implements AffichableAvecStyle
Les différentes unités syntaxiques constituent l'alphabet de la logique propositionnelle.
On distingue :
- Author:
- Geoffroy AUBRY
- See Also:
Formula
- Warnings:
- Une unité syntaxique a vocation à être immuable.
- Par ailleurs chaque unité syntaxique est supposée n'être créée qu'en un exemplaire
unique. Les méthodes
hashCode()
et equals(Object)
sont implémentées en
conséquence.
Field Summary |
private int |
hashCode
HashCode de l'unité syntaxique. |
Constructor Summary |
protected |
SyntacticUnit()
Crée une unité syntaxique. |
Method Summary |
boolean |
equals(Object o)
Compare l'objet spécifié avec l'unité syntaxique et retourne true s'ils sont
équivalents. |
int |
hashCode()
Retourne le valeur de l'attribut hashCode de l'unité syntaxique. |
hashCode
private final int hashCode
- HashCode de l'unité syntaxique.
- See Also:
HashCodes.hash()
- Implementation Notes:
- Calculé lors de l'instanciation.
- Comme par construction deux instances de
SyntacticUnit
référencent deux
unités syntaxiques différentes sur le plan logique, le hashCode est calculé comme suit pour
limiter les collisions : hashCode = HashCodes.hash();
SyntacticUnit
protected SyntacticUnit()
- Crée une unité syntaxique.
equals
public boolean equals(Object o)
- Compare l'objet spécifié avec l'unité syntaxique et retourne
true
s'ils sont
équivalents.
- Overrides:
equals
in class Object
- Implementation Notes:
- Comme par construction deux instances de
SyntacticUnit
référencent deux
unités syntaxiques différentes sur le plan logique, la méthode renverra true
uniquement s'il s'agit de la même instance.
- Returns:
true
si l'objet spécifié est identique à l'unité syntaxique.
hashCode
public int hashCode()
- Retourne le valeur de l'attribut
hashCode
de l'unité syntaxique.
- Overrides:
hashCode
in class Object
- Returns:
- un hashCode pour cette instance.
Argutia JavaDoc
23 décembre 2007