U

unescapeString(String) - Method in class argutia.logic.syntax.WrongSyntacticUnit
unionDesNegations - Variable in class argutia.logic.sets.MutableSetOfFormulas
uniteSyntaxiqueConfigurable - Variable in class argutia.gui.Representation
Unité syntaxique configurable représentée par cette instance.
UnmodifiableIterator<E> - Class in argutia.tools
Decorates an iterator such that iterator cannot be modified.
UnmodifiableIterator(Iterator<E>) - Constructor for class argutia.tools.UnmodifiableIterator
Decorates the specified iterator such that iterator cannot be modified.
UnmodifiableListIterator<E> - Class in argutia.tools
Decorates a list iterator such that iterator cannot be modified.
UnmodifiableListIterator(ListIterator<E>) - Constructor for class argutia.tools.UnmodifiableListIterator
Decorates the specified list iterator such that iterator cannot be modified.
updateEtat() - Method in class argutia.logic.resolution.MaillonClause
updateMsgArgumentTab() - Method in class argutia.gui.Onglets
USER_PROPERTIES_FILE_NAME - Static variable in class argutia.Argutia
Nom du fichier contenant la configuration utilisateur.
userPorpertiesFile - Variable in class argutia.MyResourceBundle
userProperties - Variable in class argutia.MyResourceBundle
Argutia JavaDoc
23 décembre 2007