Uses of Class
argutia.tools.annotations.Immutable

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 AB, AB, AB et AB 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
           
 
Argutia JavaDoc
23 décembre 2007