aries / net.globalid.aries.agents / DefaultAgent / options

options

val options: AgentOptions

is the agent's options

Property

options - is the agent's options