|
![]() |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectargutia.logic.resolution.Maillon<Literal>
argutia.logic.resolution.MaillonLitteral
public class MaillonLitteral
Nested Class Summary |
---|
Nested classes/interfaces inherited from class argutia.logic.resolution.Maillon |
---|
Maillon.Etat |
Field Summary | |
---|---|
private Contexte |
contexte
|
protected LinkedList<MaillonClause> |
mC_inconnus_contenant_mL_oppose
|
protected LinkedList<MaillonClause> |
mC_passes_a_satisfait
Maillons clause à l'état INCONNU passés à l'état SATISFAIT suite à la mise à l'état SATISFAIT du maillon littéral. |
protected static Map<Literal,MaillonLitteral> |
mL_pool
|
protected MaillonLitteral |
oppose
Contient le littéral opposé. |
Fields inherited from class argutia.logic.resolution.Maillon |
---|
contents, etat, etiquette, nb_mD_non_affectés |
Constructor Summary | |
---|---|
|
MaillonLitteral(Contexte contexte,
Literal l)
Construit un maillon littéral d'étiquette l, ainsi que le maillon littéral opposé. |
private |
MaillonLitteral(Contexte contexte,
Literal l,
MaillonLitteral oppose)
Construit un maillon littéral d'etiquette l et d'opposé oppose. |
Method Summary | |
---|---|
MaillonData |
add(MaillonData mD)
Ajoute un maillon contexte (créé par l'ajout d'une clause) en tête de liste. |
void |
addOccurence()
Incrémente d'un le nombre de maillons contexte non affectés. |
void |
clear(Contexte contexte)
|
static MaillonLitteral |
getInstance(Contexte data,
Literal l)
|
int |
getNbOccurencesNonAffectées()
|
MaillonLitteral |
getOppose()
|
protected boolean |
isPur()
|
static void |
memoriser(Contexte data)
|
protected void |
removeFirstMD()
Supprime du content le premier maillon contexte. |
void |
removeOccurence()
Décrémente d'un le nombre de maillons contexte non affectés. |
void |
removeSatisfait()
Réactive les occurences du littéral opposé dans chaque clause INCONNU. |
void |
setSatisfait()
Passe le littéral à l'état SATISFAIT et son opposé à l'état INSATISFAIT. |
Methods inherited from class argutia.logic.resolution.Maillon |
---|
equals, getContenu, getEtat, hashCode, setEtat, toString |
Methods inherited from class java.lang.Object |
---|
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
protected static final Map<Literal,MaillonLitteral> mL_pool
private Contexte contexte
protected final LinkedList<MaillonClause> mC_inconnus_contenant_mL_oppose
protected final LinkedList<MaillonClause> mC_passes_a_satisfait
setSatisfait()
protected MaillonLitteral oppose
Literal.getOppose()
Constructor Detail |
---|
public MaillonLitteral(Contexte contexte,
Literal l)
Maillon.etat
selon que le littéral est la tautologie, contradiction ou autre.
contexte
- Contexte
associé.l
- Littéral étiquette du maillon littéral.
private MaillonLitteral(Contexte contexte,
Literal l,
MaillonLitteral oppose)
Maillon.etat
selon que le littéral est la tautologie, contradiction ou autre. Appelé uniquement à partir de
#MaillonLitteral(Literal)
.
l
- content du maillon littéraloppose
- maillon littéral opposéMethod Detail |
---|
public static void memoriser(Contexte data)
public static MaillonLitteral getInstance(Contexte data, Literal l)
public void clear(Contexte contexte)
public void addOccurence()
public MaillonData add(MaillonData mD)
Maillon
maillon contexte
(créé par l'ajout d'une clause) en tête de liste.
add
in class Maillon<Literal>
Resolution.injecterClause(Clause)
mD
- maillon contexte
à ajouter en tête de liste
public int getNbOccurencesNonAffectées()
Maillon.Etat.INCONNU
.
public MaillonLitteral getOppose()
protected boolean isPur()
true
s'il existe des occurences non affectées du littéral, et aucune du
litteral opposeprotected void removeFirstMD()
MaillonClause.remove()
public void removeOccurence()
public void removeSatisfait()
public void setSatisfait()
MaillonClause.setSatisfait(MaillonLitteral)
,
MaillonClause.removeMLNonAffecte(MaillonLitteral)
|
![]() |
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |