I

IFamilyOfSets - Interface in argutia.logic.sets
Immutable - Annotation Type in argutia.tools.annotations
The class to which this annotation is applied is immutable.
IMPLICATION - Static variable in class argutia.logic.LogicalConnector
L'implication, notée usuellement ⇒.
injecterClause(Clause) - Method in class argutia.logic.resolution.Resolution
On suppose qu'on injecte des clauses uniquement avant un appel à Resolution.resoudre().
injecterEnsembleDeFormules(SetOfFormulas) - Method in class argutia.logic.resolution.Resolution
injecterFormule(Formula) - Method in class argutia.logic.resolution.Resolution
inputVerifier - Variable in class argutia.gui.Onglets
insert(String, AttributeSet, BatchStyledDocument) - Method in class argutia.gui.StyledMessageFormat
insert(String, AttributeSet, BatchStyledDocument, AffichableAvecStyle...) - Method in class argutia.gui.StyledMessageFormat
insert(String[], AttributeSet, BatchStyledDocument, AffichableAvecStyle...) - Method in class argutia.gui.StyledMessageFormat
insertString(int, String, AttributeSet) - Method in class argutia.gui.batchStyledDocument.BatchStyledDocument
Insère le texte spécifié dans le document.
insertString(int, String, AttributeSet) - Method in class argutia.gui.DocumentColore
isConsistant() - Method in class argutia.logic.argumentationFramework.Agent
isConsistant() - Method in class argutia.logic.sets.SetOfFormulas
isContradiction - Variable in class argutia.logic.Clause
isContradiction() - Method in class argutia.logic.Clause
isContradiction - Variable in class argutia.logic.Formula
isContradiction() - Method in class argutia.logic.Formula
isContradiction() - Method in interface argutia.logic.sets.ISetOfFormulas
isContradiction() - Method in class argutia.logic.sets.MutableSetOfFormulas
isContradiction() - Method in class argutia.logic.sets.SetOfFormulas
ISetOfFormulas - Interface in argutia.logic.sets
isPur() - Method in class argutia.logic.resolution.MaillonLitteral
isStatutFileOK(String) - Method in class argutia.gui.Menu
isSyntaxValid(String) - Static method in class argutia.logic.PropositionalVariable
Retourne true si la chaîne s est constituée d'un ou plusieurs caractères.
isTautologie - Variable in class argutia.logic.Clause
isTautologie() - Method in class argutia.logic.Clause
La méthode d'ajout, appelée par le constructeur, détecte la présence de deux littéraux opposés au sein de la clause.
isTautologie - Variable in class argutia.logic.Formula
isTautologie() - Method in class argutia.logic.Formula
isTautologie() - Method in interface argutia.logic.sets.ISetOfFormulas
isTautologie() - Method in class argutia.logic.sets.MutableSetOfFormulas
isTautologie() - Method in class argutia.logic.sets.SetOfFormulas
isTautologie(CNFNode.Couple, CNFNode.Couple) - Method in class argutia.logic.syntax.node.CNFNode
isWithArgument() - Method in class argutia.logic.argumentationFramework.Situation
iterator() - Method in class argutia.gui.Representations
iterator() - Method in class argutia.logic.Clause
iterator() - Method in class argutia.logic.Formula
iterator() - Method in class argutia.logic.sets.FamilyOfSets
iterator() - Method in class argutia.logic.sets.MutableFamilyOfSets
iterator() - Method in class argutia.logic.sets.MutableSetOfFormulas
iterator() - Method in interface argutia.logic.sets.Set
iterator() - Method in class argutia.logic.sets.SetOfFormulas
iterator() - Static method in class argutia.logic.syntax.ConfigurableSyntacticUnit
iterator() - Method in class argutia.logic.syntax.Decomposition
iterator - Variable in class argutia.tools.UnmodifiableIterator
Wrapped iterator.
Argutia JavaDoc
23 décembre 2007