gov.nasa.jpf

Interface StateExtension