Uses of Interface
edu.toronto.cs.util.IntIterator

Packages that use IntIterator
edu.toronto.cs.algebra De Morgan algebra library. 
edu.toronto.cs.tlq Classes used by TLQSolver extension of XChek 
edu.toronto.cs.util Miscellaneous useful utility classes. 
 

Uses of IntIterator in edu.toronto.cs.algebra
 

Methods in edu.toronto.cs.algebra that return IntIterator
 IntIterator IAlgebra.carrierSetId()
           
 IntIterator BelnapAlgebra.carrierSetId()
           
 IntIterator AbstractTableAlgebra.carrierSetId()
           
 IntIterator TwoValAlgebra.carrierSetId()
           
 

Uses of IntIterator in edu.toronto.cs.tlq
 

Methods in edu.toronto.cs.tlq that return IntIterator
 IntIterator UpSetAlgebra.carrierSetId()
           
 IntIterator MvSetCrossProductAlgebra.carrierSetId()
           
 IntIterator MvSetUpsetAlgebra.carrierSetId()
          IntIterator over id's of the carrier set
 

Uses of IntIterator in edu.toronto.cs.util
 

Classes in edu.toronto.cs.util that implement IntIterator
static class IntIterator.RangeIterator
          Iterates over a range
 

Fields in edu.toronto.cs.util declared as IntIterator
static IntIterator IntIterator.EMPTY_INT_ITERATOR