Uses of Interface
gov.nasa.jpf.vm.TimeModel

Packages that use TimeModel

Package	Description
gov.nasa.jpf.vm

Uses of TimeModel in gov.nasa.jpf.vm

Classes in gov.nasa.jpf.vm that implement TimeModel

Modifier and Type	Class and Description
class	ConstInsnPathTime time model that uses instruction count along current path to deduce the execution time.
class	SystemTime simple delegating TimeModel implementation that just returns System time.

Fields in gov.nasa.jpf.vm declared as TimeModel

Modifier and Type	Field and Description
protected TimeModel	VM.timeModel how we model execution time