|
![]() |
||||||||
PREV NEXT | FRAMES NO FRAMES | ||||||||
Packages that use Contexte | |
---|---|
argutia.logic.resolution |
Uses of Contexte in argutia.logic.resolution |
---|
Fields in argutia.logic.resolution declared as Contexte | |
---|---|
protected Contexte |
Resolution.contexte
|
private Contexte |
MaillonLitteral.contexte
|
private Contexte |
MaillonClause.contexte
|
Methods in argutia.logic.resolution with parameters of type Contexte | |
---|---|
void |
MaillonLitteral.clear(Contexte contexte)
|
void |
MaillonClause.clear(Contexte contexte)
|
static MaillonClause |
MaillonClause.getInstance(Contexte contexte,
Clause c)
|
static MaillonLitteral |
MaillonLitteral.getInstance(Contexte data,
Literal l)
|
static void |
MaillonLitteral.memoriser(Contexte data)
|
static void |
MaillonClause.memoriser(Contexte contexte)
|
Constructors in argutia.logic.resolution with parameters of type Contexte | |
---|---|
MaillonClause(Contexte contexte,
Clause c)
|
|
MaillonLitteral(Contexte contexte,
Literal l)
Construit un maillon littéral d'étiquette l, ainsi que le maillon littéral opposé. |
|
MaillonLitteral(Contexte contexte,
Literal l,
MaillonLitteral oppose)
Construit un maillon littéral d'etiquette l et d'opposé oppose. |
|
![]() |
||||||||
PREV NEXT | FRAMES NO FRAMES | ||||||||