Uses of Class
org.processmining.specpp.supervision.RegularScheduler
-
Packages that use RegularScheduler Package Description org.processmining.specpp.supervision org.processmining.specpp.supervision.piping org.processmining.specpp.supervision.supervisors -
-
Uses of RegularScheduler in org.processmining.specpp.supervision
Methods in org.processmining.specpp.supervision that return RegularScheduler Modifier and Type Method Description static RegularSchedulerRegularScheduler. inst()RegularSchedulerRegularScheduler. schedule(java.lang.Runnable r, java.time.Duration timeInterval) -
Uses of RegularScheduler in org.processmining.specpp.supervision.piping
Methods in org.processmining.specpp.supervision.piping with parameters of type RegularScheduler Modifier and Type Method Description static LayingPipeLayingPipe. inst(RegularScheduler regularScheduler, BackgroundTaskRunner backgroundTaskRunner)LayingPipeLayingPipe. setRegularRunner(RegularScheduler regularScheduler) -
Uses of RegularScheduler in org.processmining.specpp.supervision.supervisors
Methods in org.processmining.specpp.supervision.supervisors that return RegularScheduler Modifier and Type Method Description protected RegularSchedulerSchedulingSupervisor. regularRunner()
-