Uses of Class
argutia.logic.syntax.SyntacticUnit

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)
           
 
Argutia JavaDoc
23 décembre 2007