|
![]() |
||||||||
PREV NEXT | FRAMES NO FRAMES | ||||||||
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 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 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
|
|
![]() |
||||||||
PREV NEXT | FRAMES NO FRAMES | ||||||||