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