P

p2Interrogations - Variable in class argutia.logic.argumentationFramework.Situation
parties - Variable in class argutia.logic.sets.Partition
Partition<K extends Enum<K>,V> - Class in argutia.logic.sets
Partition(Set<V>, Class<K>, Class<? extends MutableSet<V>>) - Constructor for class argutia.logic.sets.Partition
partitionnerInterdits(SetOfFormulas) - Method in class argutia.logic.argumentationFramework.Agent
partitionnerInterrogations(SetOfFormulas) - Method in class argutia.logic.argumentationFramework.Agent
partitionnerInterrogations(FamilyOfSets) - Method in class argutia.logic.argumentationFramework.Agent
pAutres - Variable in class argutia.logic.syntax.Decomposition
pDangereux - Variable in class argutia.logic.syntax.Decomposition
pInterrogations - Variable in class argutia.logic.argumentationFramework.Situation
Ponctuation - Class in argutia.logic.syntax
Ponctuation(String) - Constructor for class argutia.logic.syntax.Ponctuation
positifs - Variable in class argutia.logic.syntax.node.CNFNode.Couple
powerSet - Variable in class argutia.logic.sets.SetOfFormulas
premier_mL_inconnu - Variable in class argutia.logic.resolution.MaillonClause
Mis à jour uniquement dans MaillonClause.addMLDansClausesUnitaires(MaillonLitteral).
previous() - Method in class argutia.tools.UnmodifiableListIterator
Returns the previous element in the list.
previousIndex() - Method in class argutia.tools.UnmodifiableListIterator
Returns the index of the element that would be returned by a subsequent call to UnmodifiableListIterator.previous().
processBatchUpdates() - Method in class argutia.gui.batchStyledDocument.BatchStyledDocument
Met à jour le document en traitant toutes les insertions de texte stockées dans le BatchedContent associé.
processBatchUpdates(DefaultStyledDocument.ElementSpec[]) - Method in class argutia.gui.batchStyledDocument.BatchStyledDocument
Properties - Annotation Type in argutia.tools.annotations
PropositionalVariable - Class in argutia.logic
En logique propositionnelle, une variable propositionnelle représente une proposition, c'est-à-dire une entité ayant pour valeurs possibles vrai ou faux.
PropositionalVariable(String) - Constructor for class argutia.logic.PropositionalVariable
Crée une variable propositionnelle avec pour orthographe celle spécifiée.
PropositionalVariableTest - Class in test.argutia.logic
Test de la classe PropositionalVariable.
PropositionalVariableTest(String) - Constructor for class test.argutia.logic.PropositionalVariableTest
Construit un test de la classe PropositionalVariable.
pX - Variable in class argutia.logic.argumentationFramework.Agent
Argutia JavaDoc
23 décembre 2007