[Javapathfinder-devel] Question about the absence of method jvm.rewind() in JPF version 4

[VinhCuong T. <tra...@gm...>]

Hi everybody there,

I am doing an exercise that verify liveness property by using JPF,
specifically I
am implementing Double-Depth-First search. I've seen in the old
codes that there was a rewind() method in jvm package, which I think it can
reset
ChoiceGenerator of all the states and do something more. But I couldn't find
it in
JPF 4.  I could overcome without rewind(), but I think that it may be more
efficient
if I use rewind(). So is there anybody know why it is removed? And can I
implement
the method rewind() using the exist methods in jvm package.

Thank you for your time.

Regards,

-- 
Trần Vĩnh Cường