MarkovSolver

class MarkovSolver

proc

void (shared message field) This is a shared message to receive Process message from thescheduler. The first entry is a MsgDest for the Process operation. It has a single argument, ProcInfo, which holds lots of information about current time, thread, dt andso on. The second entry is a MsgDest for the Reinit operation. It also uses ProcInfo.

process()

(destination message field) Handles process call

reinit()

(destination message field) Handles reinit call