.DESLib.DEVSLib.SRC.AtomicDEVS.State

Definition

record State = stdState;