Interface Params<Name>

Params is a set of parameters used to configure Solvers, Tactics and Simplifiers in Z3.

interface Params<Name extends string = "main"> {
    ctx: Context<Name>;
    ptr: Z3_params;
    set(name: string, value: string | number | boolean): void;
    toString(): string;
    validate(descrs: ParamDescrs<Name>): void;
}

Type Parameters

Name extends string = "main"

Index

Properties

Methods

set toString validate

Properties

`Readonly`ctx

ctx: Context<Name>

`Readonly`ptr

ptr: Z3_params

Methods

set

set(name: string, value: string | number | boolean): void
Set a parameter with the given name and value.
Parameters
- name: string
  Parameter name
- value: string | number | boolean
  Parameter value (boolean, number, or string)
Returns void
- Defined in src/high-level/types.ts:3140

toString

toString(): string
Convert the parameter set to a string representation.

Returns string
- Defined in src/high-level/types.ts:3151

validate

validate(descrs: ParamDescrs<Name>): void
Validate the parameter set against a parameter description set.
Parameters
- descrs: ParamDescrs<Name>
  Parameter descriptions to validate against
Returns void
- Defined in src/high-level/types.ts:3146