IOperationBuilder.Name property
The name of the operation being built.
public string Name { get; }
See Also
- interface IOperationBuilder
- namespace Microsoft.Coyote.Runtime
- assembly Microsoft.Coyote
The name of the operation being built.
public string Name { get; }