|
![]() |
||||||||
PREV NEXT | FRAMES NO FRAMES | ||||||||
Packages that use Immutable | |
---|---|
argutia | |
argutia.logic | |
argutia.logic.sets | |
argutia.logic.syntax | |
argutia.logic.syntax.node |
Uses of Immutable in argutia |
---|
Classes in argutia with annotations of type Immutable | |
---|---|
static class |
Argutia.Builder
Classe regroupant les différents paramètres nécessaires à la création de l'interface graphique. |
Uses of Immutable in argutia.logic |
---|
Classes in argutia.logic with annotations of type Immutable | |
---|---|
class |
Clause
Une clause est une disjonction de littéraux. |
class |
Formula
L'ensemble des formules (ou formules bien formées) de la logique propositionnelle est le plus petit ensemble de mots construits sur l'alphabet tel que : si A est une formule atomique, alors A est une formule,
si A est une formule, alors ¬A est une formule,
et si A et B sont des formules,
alors A ∨ B , A ∧ B , A ⇒ B
et A ⇔ B sont des formules. |
class |
LogicalConnector
Un connecteur logique est une fonction de vérité représentée par une table qui donne la valeur de vérité d'une formule logique à partir des valeurs de vérité des formules atomiques qui la composent. |
class |
PropositionalVariable
En logique propositionnelle, une variable propositionnelle représente une proposition, c'est-à-dire une entité ayant pour valeurs possibles vrai ou faux. |
class |
TruthSymbol
Un symbole de vérité est soit la tautologie, soit la contradiction, formules atomiques respectivement interprétées à vrai et faux dans tous les cas. |
Uses of Immutable in argutia.logic.sets |
---|
Classes in argutia.logic.sets with annotations of type Immutable | |
---|---|
class |
SetOfFormulas
|
Uses of Immutable in argutia.logic.syntax |
---|
Classes in argutia.logic.syntax with annotations of type Immutable | |
---|---|
class |
Ponctuation
|
class |
WrongSyntacticUnit
|
Uses of Immutable in argutia.logic.syntax.node |
---|
Classes in argutia.logic.syntax.node with annotations of type Immutable | |
---|---|
class |
CNFNode
|
class |
Node
|
|
![]() |
||||||||
PREV NEXT | FRAMES NO FRAMES | ||||||||