R
- rA -
Variable in class argutia.logic.syntax.Decomposition
- RB_BASE_NAME -
Static variable in class argutia.Argutia
- Nom de base du resourceBundle de l'application.
- RB_ILLEGAL_ARGUMENT_EXCEPTION -
Static variable in class argutia.logic.PropositionalVariable
- RB_KEY_ALREADY_EXISTS_EXCEPTION -
Static variable in class argutia.logic.PropositionalVariable
- RB_MENU_FONT_SIZE_RATIO -
Static variable in class argutia.gui.MyStyles
- Multiplicateur à appliquer à la taille du style
MyStyles.StyleNames.NORMAL
pour définir la taille du style MyStyles.StyleNames.MENU
.
- RB_SMALL_FONT_SIZE_RATIO -
Static variable in class argutia.gui.MyStyles
- Multiplicateur à appliquer à la taille du style
MyStyles.StyleNames.NORMAL
pour définir la taille du style MyStyles.StyleNames.SMALL
.
- RB_TAB_AGENTS -
Static variable in class argutia.gui.Onglets
- RB_TAB_ARGUMENTS -
Static variable in class argutia.gui.Onglets
- RB_TAB_CONFIGURATION -
Static variable in class argutia.gui.Onglets
- RB_TAB_SITUATION -
Static variable in class argutia.gui.Onglets
- RB_TRUTH_SYMBOLS_CONTRADICTION -
Static variable in class argutia.logic.TruthSymbol
- RB_TRUTH_SYMBOLS_TAUTOLOGY -
Static variable in class argutia.logic.TruthSymbol
- rD -
Variable in class argutia.logic.syntax.Decomposition
- reecrireConjonctions(CNFNode) -
Method in class argutia.logic.syntax.node.CNFNode
- reecrireImplications() -
Method in class argutia.logic.syntax.node.CNFNode
- reecrireNegations() -
Method in class argutia.logic.syntax.node.CNFNode
- remove(int, int) -
Method in class argutia.gui.DocumentColore
- remove() -
Method in class argutia.logic.resolution.MaillonClause
- Supprime la clause et ses maillons contexte du contexte.
- remove() -
Method in class argutia.tools.UnmodifiableIterator
- Unsupported operation.
- removeAffectation() -
Method in class argutia.logic.resolution.Resolution
- removeCalculListener(ComputationListener) -
Method in class argutia.logic.argumentationFramework.Situation
- removeFileListener(FileListener) -
Method in class argutia.gui.DocumentColore
- removeFileListener(FileListener) -
Method in class argutia.gui.Menu
- removeFirstMD() -
Method in class argutia.logic.resolution.MaillonLitteral
- Supprime du content le premier maillon contexte.
- removeMLDansClausesUnitaires(MaillonLitteral) -
Method in class argutia.logic.resolution.MaillonClause
- removeMLNonAffecte(MaillonLitteral) -
Method in class argutia.logic.resolution.MaillonClause
- Décrémente le nombre de maillons contexte non affectés suite au passage à l'état INSATISFAIT d'un
maillon littéral de la clause.
- removeNonRelevantArguments(List<Argument>, List<Argument>) -
Static method in class argutia.logic.argumentationFramework.Situation
- removeOccurence() -
Method in class argutia.logic.resolution.MaillonLitteral
- Décrémente d'un le nombre de maillons contexte non affectés.
- removeSatisfait(MaillonLitteral) -
Method in class argutia.logic.resolution.MaillonClause
- Passage à l'état INCONNU de la clause suite à la remise à l'état INCONNU d'un de ses maillons
littéraux (celui passé en paramètre) précédemment à l'état SATISFAIT.
- removeSatisfait() -
Method in class argutia.logic.resolution.MaillonLitteral
- Réactive les occurences du littéral opposé dans chaque clause INCONNU.
- remplacerUnitesOldOrthographe(Collection<Representation>) -
Method in class argutia.gui.DocumentColore
- remplacerUnitesOldOrthographe(Collection<Representation>) -
Method in class argutia.gui.Onglets
- REPONSES -
Variable in class argutia.gui.Onglets
- Representation - Class in argutia.gui
- Une représentation est la représentation textuelle d'une
unité syntaxique configurable.
- Representation(ConfigurableSyntacticUnit, String) -
Constructor for class argutia.gui.Representation
- Crée la représentation textuelle d'une unité syntaxique configurable.
- representation -
Variable in class argutia.logic.Formula
- representations -
Variable in class argutia.Argutia.Builder
- Orthographe initiale des différentes
unités syntaxiques configurables.
- representations -
Static variable in class argutia.Argutia
- Représentations, dont l'orthographe est modifiable via le
panneau de configuration.
- Representations - Class in argutia.gui
- Une instance de
Representations
est une collection de
représentations textuelles
d'unités syntaxiques configurables. - Representations(Argutia.Builder) -
Constructor for class argutia.gui.Representations
- reset() -
Method in class argutia.tools.Chrono
- Déclenche le chronomètre.
- Resolution - Class in argutia.logic.resolution
- Resolution() -
Constructor for class argutia.logic.resolution.Resolution
- Resolution.Etat - Enum in argutia.logic.resolution
- Un contexte est SATISFIABLE lorsqu'une affectation des littéraux des clauses a été trouvée,
INSATISFIABLE sinon.
- Resolution.Etat() -
Constructor for enum argutia.logic.resolution.Resolution.Etat
- Resolution.EtatApresSimplification - Enum in argutia.logic.resolution
- Resolution.EtatApresSimplification() -
Constructor for enum argutia.logic.resolution.Resolution.EtatApresSimplification
- resolutionEnclenchee -
Variable in class argutia.logic.resolution.Resolution
- resoudre() -
Method in class argutia.logic.resolution.Resolution
- Davis et Putnam
- resourceBundle -
Static variable in class argutia.Argutia
- ResourceBundle de l'application.
- resourceBundle -
Variable in class argutia.MyResourceBundle
- ResourceBundle encapsulé sur lequel on redirige les appels
à
MyResourceBundle.getString(String)
.
- ResourceBundle - Annotation Type in argutia.tools.annotations
- Un attribut comportant cette annotation est une chaîne de caractères
static
et
final
représentant le nom d'une clef du
resourceBundle précisé. - ResourceBundle.Prefix - Annotation Type in argutia.tools.annotations
- Un attribut comportant cette annotation est une chaîne de caractères
static
et
final
représentant le nom du préfix d'une clef du
resourceBundle précisé. - resourceBundleKey -
Variable in class argutia.logic.syntax.ConfigurableSyntacticUnit
- Clef permettant de retrouver les propriétés d'un
MyResourceBundle
concernées par le symbole de vérité (dénomination et orthographe).
Argutia JavaDoc
23 décembre 2007