|
![]() |
||||||||
PREV NEXT | FRAMES NO FRAMES | ||||||||
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. |
|
![]() |
||||||||
PREV NEXT | FRAMES NO FRAMES | ||||||||