Interface ParamDescrs<Name>

ParamDescrs is a set of parameter descriptions for Solvers, Tactics and Simplifiers in Z3.

interface ParamDescrs<Name extends string = "main"> {
    ctx: Context<Name>;
    ptr: Z3_param_descrs;
    getDocumentation(name: string): string;
    getKind(name: string): number;
    getName(i: number): string;
    size(): number;
    toString(): string;
}

Type Parameters

Name extends string = "main"

Index

Properties

Methods

getDocumentation getKind getName size toString

Properties

`Readonly`ctx

ctx: Context<Name>

`Readonly`ptr

ptr: Z3_param_descrs

Methods

getDocumentation

getDocumentation(name: string): string
Return the documentation string for the parameter with the given name.
Parameters
- name: string
  Parameter name
Returns string
- Defined in src/high-level/types.ts:3191

getKind

getKind(name: string): number
Return the kind (type) of the parameter with the given name.
Parameters
- name: string
  Parameter name
Returns number
- Defined in src/high-level/types.ts:3185

getName

getName(i: number): string
Return the name of the parameter at the given index.
Parameters
- i: number
  Index of the parameter
Returns string
- Defined in src/high-level/types.ts:3179

size

size(): number
Return the number of parameters in the description set.

Returns number
- Defined in src/high-level/types.ts:3173

toString

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

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