Uses of Interface
edu.umd.cfar.lamp.viper.util.MappingIterator.MappingFunctor

Packages that use MappingIterator.MappingFunctor

edu.umd.cfar.lamp.viper.util

Provides miscellanious utility classes for the ViPER suite.

Uses of MappingIterator.MappingFunctor in edu.umd.cfar.lamp.viper.util

Constructors in edu.umd.cfar.lamp.viper.util with parameters of type MappingIterator.MappingFunctor

MappingIterator(MappingIterator.MappingFunctor map, java.util.Iterator i)
Creates a new instance of ExceptIterator.