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