|
![]() |
||||||||
PREV NEXT | FRAMES NO FRAMES | ||||||||
Packages that use PropositionalVariable | |
---|---|
argutia.logic |
Uses of PropositionalVariable in argutia.logic |
---|
Fields in argutia.logic declared as PropositionalVariable | |
---|---|
private PropositionalVariable |
NegativeLiteral.oppose
|
Fields in argutia.logic with type parameters of type PropositionalVariable | |
---|---|
private static Map<String,PropositionalVariable> |
PropositionalVariable.VALUES
Map répertoriant les différentes instances de PropositionalVariable . |
Methods in argutia.logic that return PropositionalVariable | |
---|---|
PropositionalVariable |
NegativeLiteral.getOppose()
|
static PropositionalVariable |
PropositionalVariable.getOrNew(String orthographe)
Retourne la variable propositionnelle dont l'orthographe correspond à celle fourni en paramètre. |
Constructors in argutia.logic with parameters of type PropositionalVariable | |
---|---|
NegativeLiteral(PropositionalVariable oppose)
|
|
![]() |
||||||||
PREV NEXT | FRAMES NO FRAMES | ||||||||