argutia.logic.resolution
Class Maillon<T>

java.lang.Object
  extended by argutia.logic.resolution.Maillon<T>
Direct Known Subclasses:
MaillonClause, MaillonLitteral
public abstract class Maillon<T>
extends Object
Nested Class Summary
static class Maillon.Etat
          Un maillon est par défaut à l'état INCONNU.
 
Field Summary
protected MaillonData contents
          Tête de la liste chaînée représentant le content du maillon.
protected Maillon.Etat etat
          État du maillon.
protected T etiquette
          Valeur du maillon.
protected int nb_mD_non_affectés
          Nombre de maillons contexte de la liste chaînée content dont l'état est Maillon.Etat.INCONNU.
 
Constructor Summary
protected Maillon(T e)
          Crée un maillon d'etiquette e, de content vide, d'état Etat.INCONNU, de taille nulle et de nb_mD_non_affectés=0.
 
Method Summary
 MaillonData add(MaillonData mD)
          Ajoute un maillon contexte (créé par l'ajout d'une clause) en tête de liste.
 boolean equals(Object o)
           
 MaillonData getContenu()
           
 Maillon.Etat getEtat()
           
 int hashCode()
           
 void setEtat(Maillon.Etat e)
          Change l'état du maillon.
 String toString()
           
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 
Field Detail

contents

protected MaillonData contents
Tête de la liste chaînée représentant le content du maillon.

etat

protected Maillon.Etat etat
État du maillon.

etiquette

protected T etiquette
Valeur du maillon.

nb_mD_non_affectés

protected int nb_mD_non_affectés
Nombre de maillons contexte de la liste chaînée content dont l'état est Maillon.Etat.INCONNU.

Constructor Detail

Maillon

protected Maillon(T e)
Crée un maillon d'etiquette e, de content vide, d'état Etat.INCONNU, de taille nulle et de nb_mD_non_affectés=0.

Parameters:
e - etiquette du maillon
Method Detail

add

public MaillonData add(MaillonData mD)
Ajoute un maillon contexte (créé par l'ajout d'une clause) en tête de liste.

See Also:
Resolution.injecterClause(Clause)
Parameters:
mD - maillon contexte à ajouter en tête de liste
Returns:
l'ancien content de liste afin de mettre à jour les pointeurs nextL ou nextC de mD

getContenu

public MaillonData getContenu()
Returns:
le content du maillon.

getEtat

public Maillon.Etat getEtat()
Returns:
l'état du maillon.

setEtat

public void setEtat(Maillon.Etat e)
Change l'état du maillon.

Parameters:
e - nouvel état du maillon

toString

public String toString()
Overrides:
toString in class Object

equals

public boolean equals(Object o)
Overrides:
equals in class Object

hashCode

public int hashCode()
Overrides:
hashCode in class Object
Argutia JavaDoc
23 décembre 2007