|
![]() |
||||||||
PREV NEXT | FRAMES NO FRAMES | ||||||||
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. |
|
![]() |
||||||||
PREV NEXT | FRAMES NO FRAMES | ||||||||