struct

Z3::Config::Params

Inherits Struct < Value < Object

Constructors

new(config : Config)
Source

Instance methods

[]=(param : String, value : String)
Source