added the TimeWarp scheduler API definitions