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

Packages that use SchedulerFactory

Package	Description
gov.nasa.jpf.vm

Uses of SchedulerFactory in gov.nasa.jpf.vm

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

Modifier and Type	Class and Description
class	ContextBoundingSchedulerFactory SchedulerFactory that limits the search by imposing a maximum number of thread preemptions (i.e., preempting context switches) that can occur per execution path.
class	DefaultSchedulerFactory the general policy is that we only create Thread CGs here (based on their status), but we don't change any thread or lock status.
class	DistributedSchedulerFactory
class	PrioritySchedulerFactory a scheduler policy which always runs one of the threads that have equal top priority

Methods in gov.nasa.jpf.vm that return SchedulerFactory

Modifier and Type	Method and Description
SchedulerFactory	MJIEnv.getSchedulerFactory()
SchedulerFactory	SystemState.getSchedulerFactory()
SchedulerFactory	VM.getSchedulerFactory()