role property

AgentRole role
final

The role this agent fulfills (mayor, worker, witness).

Implementation

final AgentRole role;