Uses of Interface
gov.nasa.jpf.vm.serialize.AmmendableFilterConfiguration.InstanceOverride

Packages that use AmmendableFilterConfiguration.InstanceOverride

Package	Description
gov.nasa.jpf.vm.serialize

Uses of AmmendableFilterConfiguration.InstanceOverride in gov.nasa.jpf.vm.serialize

Fields in gov.nasa.jpf.vm.serialize with type parameters of type AmmendableFilterConfiguration.InstanceOverride

Modifier and Type	Field and Description
protected ObjVector<AmmendableFilterConfiguration.InstanceOverride>	AmmendableFilterConfiguration.instanceOverrides

Methods in gov.nasa.jpf.vm.serialize with parameters of type AmmendableFilterConfiguration.InstanceOverride

Modifier and Type	Method and Description
void	AmmendableFilterConfiguration.appendInstanceOverride(AmmendableFilterConfiguration.InstanceOverride io)