Get next event time for kernel simulator
encapsulated function getNextHitKernel import Modelica_Synchronous.WorkInProgress.Incubate.TrueTime.ExternalC.Kernel; input Kernel kernelHandle "Handle to kernel simulator object"; input Real currTime "Current time"; output Real nextT "Next event time"; end getNextHitKernel;