Note

You are not reading the most recent version of this documentation.

TauEvent¶

class Cocotec.CocoPlatform.Coco.TauEvent : public Cocotec.CocoPlatform.Coco.Event ¶: Subclassed by Cocotec.CocoPlatform.Coco.AmbiguousTransitionTauEvent, Cocotec.CocoPlatform.Coco.DetermineSpontaneousEnabledTauEvent, Cocotec.CocoPlatform.Coco.NonDetTauEvent, Cocotec.CocoPlatform.Coco.OfferTauEvent, Cocotec.CocoPlatform.Coco.SilentTauEvent, Cocotec.CocoPlatform.Coco.SpontaneousTransitionTauEvent, Cocotec.CocoPlatform.Coco.TimerTransitionTauEvent, Cocotec.CocoPlatform.Coco.UnusedTransitionEventValue