Uses of Interface
gov.nasa.jpf.vm.serialize.FilterConfiguration

Packages that use FilterConfiguration

Package	Description
gov.nasa.jpf.vm.serialize

Uses of FilterConfiguration in gov.nasa.jpf.vm.serialize

Classes in gov.nasa.jpf.vm.serialize that implement FilterConfiguration

Modifier and Type	Class and Description
class	AmmendableFilterConfiguration
class	DefaultFilterConfiguration

Fields in gov.nasa.jpf.vm.serialize declared as FilterConfiguration

Modifier and Type	Field and Description
protected FilterConfiguration	FilteringSerializer.filter