Next
Id
Previous
ToString
Actor constructor
Initializes a new instance of the
Actor
class.
protected Actor()
See Also
class
Actor
namespace
Microsoft.Coyote.Actors
assembly
Microsoft.Coyote.Actors
Next
Id
Previous
ToString