Uses of Interface
argutia.gui.batchStyledDocument.AffichableAvecStyle

Packages that use AffichableAvecStyle
argutia.gui   
argutia.logic   
argutia.logic.argumentationFramework   
argutia.logic.sets   
argutia.logic.syntax   
argutia.logic.syntax.node   
 

Uses of AffichableAvecStyle in argutia.gui
 

Classes in argutia.gui that implement AffichableAvecStyle
 class DocumentColore
          Permet de manipuler des documents avec coloration syntaxique en temps réel et le munit de méthodes de traductions pour l'import et l'export dans des fichiers texte ainsi que pour la mise à jour de la syntaxe des opérateurs.
 class Representation
          Une représentation est la représentation textuelle d'une unité syntaxique configurable.
 

Fields in argutia.gui declared as AffichableAvecStyle
private AffichableAvecStyle[] StyledMessageFormat.arguments
           
 

Methods in argutia.gui with parameters of type AffichableAvecStyle
static void StyledMessageFormat.format(String[] patterns, AttributeSet style, BatchStyledDocument doc, AffichableAvecStyle... arguments)
           
static void StyledMessageFormat.format(String pattern, AttributeSet style, BatchStyledDocument doc, AffichableAvecStyle... arguments)
           
 void StyledMessageFormat.insert(String[] patterns, AttributeSet style, BatchStyledDocument doc, AffichableAvecStyle... arguments)
           
 void StyledMessageFormat.insert(String pattern, AttributeSet style, BatchStyledDocument doc, AffichableAvecStyle... arguments)
           
 

Constructors in argutia.gui with parameters of type AffichableAvecStyle
StyledMessageFormat(String[] patterns, AttributeSet style, BatchStyledDocument doc, AffichableAvecStyle... arguments)
           
StyledMessageFormat(String pattern, AttributeSet style, BatchStyledDocument doc, AffichableAvecStyle... arguments)
           
 

Uses of AffichableAvecStyle in argutia.logic
 

Classes in argutia.logic that implement AffichableAvecStyle
 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 AffichableAvecStyle in argutia.logic.argumentationFramework
 

Classes in argutia.logic.argumentationFramework that implement AffichableAvecStyle
 class Argument
           
 

Uses of AffichableAvecStyle in argutia.logic.sets
 

Subinterfaces of AffichableAvecStyle in argutia.logic.sets
 interface IFamilyOfSets
           
 interface ISetOfFormulas
           
 interface MutableSet<E>
           
 interface Set<E>
           
 

Classes in argutia.logic.sets that implement AffichableAvecStyle
 class FamilyOfSets
           
 class MutableFamilyOfSets
           
 class MutableSetOfFormulas
           
 class Partition<K extends Enum<K>,V>
           
 class SetOfFormulas
           
 

Uses of AffichableAvecStyle in argutia.logic.syntax
 

Classes in argutia.logic.syntax that implement AffichableAvecStyle
 class ConfigurableSyntacticUnit
          Le constructeur doit comporter Representations.add(this, motClef);.
 class Decomposition
           
 class Ponctuation
           
 class SyntacticUnit
          Les différentes unités syntaxiques constituent l'alphabet de la logique propositionnelle.
 class WrongSyntacticUnit
           
 

Uses of AffichableAvecStyle in argutia.logic.syntax.node
 

Classes in argutia.logic.syntax.node that implement AffichableAvecStyle
 class CNFNode
           
 class Node
           
 class SyntaxNode
           
 
Argutia JavaDoc
23 décembre 2007