|
![]() |
||||||||
PREV NEXT | FRAMES NO FRAMES | ||||||||
Packages that use SyntacticUnit | |
---|---|
argutia.logic | |
argutia.logic.syntax | |
argutia.logic.syntax.node |
Uses of SyntacticUnit in argutia.logic |
---|
Subclasses of SyntacticUnit in argutia.logic | |
---|---|
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 SyntacticUnit in argutia.logic.syntax |
---|
Subclasses of SyntacticUnit in argutia.logic.syntax | |
---|---|
class |
ConfigurableSyntacticUnit
Le constructeur doit comporter Representations.add(this, motClef); . |
class |
Ponctuation
|
class |
WrongSyntacticUnit
|
Uses of SyntacticUnit in argutia.logic.syntax.node |
---|
Fields in argutia.logic.syntax.node declared as SyntacticUnit | |
---|---|
protected SyntacticUnit |
Node.content
|
Methods in argutia.logic.syntax.node that return SyntacticUnit | |
---|---|
SyntacticUnit |
Node.getContents()
|
Constructors in argutia.logic.syntax.node with parameters of type SyntacticUnit | |
---|---|
CNFNode(SyntacticUnit contents,
CNFNode filsG,
CNFNode filsD)
|
|
Node(SyntacticUnit contents,
Node filsG,
Node filsD)
|
|
SyntaxNode(SyntacticUnit contents,
int offset)
|
|
![]() |
||||||||
PREV NEXT | FRAMES NO FRAMES | ||||||||