Uses of Class
argutia.logic.resolution.MaillonLitteral

Packages that use MaillonLitteral
argutia.logic.resolution   
 

Uses of MaillonLitteral in argutia.logic.resolution
 

Fields in argutia.logic.resolution declared as MaillonLitteral
private MaillonLitteral MaillonData.mL
           
protected MaillonLitteral MaillonLitteral.oppose
          Contient le littéral opposé.
 

Fields in argutia.logic.resolution with type parameters of type MaillonLitteral
 Set<MaillonLitteral> Contexte.mL_dans_clauses_unitaires
          Maillons littéraux présents dans des clauses unitaires à l'état INCONNU.
protected static Map<Literal,MaillonLitteral> MaillonLitteral.mL_pool
           
 Set<MaillonLitteral> Contexte.mL_purs
           
 Map<Literal,MaillonLitteral> Contexte.mL_values
           
 

Methods in argutia.logic.resolution that return MaillonLitteral
static MaillonLitteral MaillonLitteral.getInstance(Contexte data, Literal l)
           
 MaillonLitteral MaillonData.getML()
           
protected MaillonLitteral Resolution.getNextMLInconnu()
           
 MaillonLitteral MaillonLitteral.getOppose()
           
 

Methods in argutia.logic.resolution with parameters of type MaillonLitteral
protected void Resolution.addAffectation(MaillonLitteral mL)
           
protected void MaillonClause.addMLDansClausesUnitaires(MaillonLitteral mL)
          Ajoute, s'il n'était pas déjà présent, le maillon littéral de la clause, fournit en paramètre, dans la liste des littéraux des clauses unitaires, et met à jour mL_deja_present_dans_clauses_unitaires.
 void MaillonClause.addMLNonAffecte(MaillonLitteral mL)
          Incrémente le nombre de maillons contexte non affectés suite au passage à l'état INCONNU d'un maillon littéral de la clause.
 void MaillonData.clear(MaillonLitteral mL)
           
protected void MaillonClause.removeMLDansClausesUnitaires(MaillonLitteral mL)
           
 void MaillonClause.removeMLNonAffecte(MaillonLitteral mL)
          Décrémente le nombre de maillons contexte non affectés suite au passage à l'état INSATISFAIT d'un maillon littéral de la clause.
 void MaillonClause.removeSatisfait(MaillonLitteral mL)
          Passage à l'état INCONNU de la clause suite à la remise à l'état INCONNU d'un de ses maillons littéraux (celui passé en paramètre) précédemment à l'état SATISFAIT.
 void MaillonClause.setSatisfait(MaillonLitteral mL)
          Passage à l'état SATISFAIT de la clause suite au passage à l'état SATISFAIT d'un de ses maillons littéraux, passé en paramètre.
 

Constructors in argutia.logic.resolution with parameters of type MaillonLitteral
MaillonData(MaillonLitteral mL, MaillonClause mC)
           
MaillonLitteral(Contexte contexte, Literal l, MaillonLitteral oppose)
          Construit un maillon littéral d'etiquette l et d'opposé oppose.
 
Argutia JavaDoc
23 décembre 2007