|
![]() |
||||||||
PREV NEXT | FRAMES NO FRAMES | ||||||||
Packages that use NegativeLiteral | |
---|---|
argutia.logic |
Uses of NegativeLiteral in argutia.logic |
---|
Fields in argutia.logic declared as NegativeLiteral | |
---|---|
private NegativeLiteral |
PropositionalVariable.oppose
Littéral opposé, c'est-à-dire la négation de la variable propositionnelle. |
Methods in argutia.logic that return NegativeLiteral | |
---|---|
NegativeLiteral |
PropositionalVariable.getOppose()
Retourne le littéral opposé, c'est-à-dire la négation de cette variable propositionnelle. |
|
![]() |
||||||||
PREV NEXT | FRAMES NO FRAMES | ||||||||