Uses of Class
argutia.tools.UnmodifiableIterator

Packages that use UnmodifiableIterator
argutia.gui   
argutia.logic   
argutia.logic.sets   
argutia.logic.syntax   
argutia.tools Outils génériques indépendants de l'application. 
 

Uses of UnmodifiableIterator in argutia.gui
 

Methods in argutia.gui that return UnmodifiableIterator
 UnmodifiableIterator<Representation> Representations.iterator()
           
 

Uses of UnmodifiableIterator in argutia.logic
 

Methods in argutia.logic that return UnmodifiableIterator
 UnmodifiableIterator<Clause> Formula.iterator()
           
 UnmodifiableIterator<Literal> Clause.iterator()
           
 

Uses of UnmodifiableIterator in argutia.logic.sets
 

Methods in argutia.logic.sets that return UnmodifiableIterator
 UnmodifiableIterator<Formula> SetOfFormulas.iterator()
           
 UnmodifiableIterator<E> Set.iterator()
           
 UnmodifiableIterator<Formula> MutableSetOfFormulas.iterator()
           
 UnmodifiableIterator<SetOfFormulas> MutableFamilyOfSets.iterator()
           
 UnmodifiableIterator<SetOfFormulas> FamilyOfSets.iterator()
           
 

Uses of UnmodifiableIterator in argutia.logic.syntax
 

Methods in argutia.logic.syntax that return UnmodifiableIterator
static UnmodifiableIterator<ConfigurableSyntacticUnit> ConfigurableSyntacticUnit.iterator()
           
 

Uses of UnmodifiableIterator in argutia.tools
 

Subclasses of UnmodifiableIterator in argutia.tools
 class UnmodifiableListIterator<E>
          Decorates a list iterator such that iterator cannot be modified.
 
Argutia JavaDoc
23 décembre 2007