Interface Simplifier<Name>

Simplifiers act as pre-processing utilities for solvers. Build a custom simplifier and add it to a solver for incremental preprocessing.

interface Simplifier<Name extends string = "main"> {
    ctx: Context<Name>;
    ptr: Z3_simplifier;
    andThen(other: Simplifier<Name>): Simplifier<Name>;
    help(): string;
    paramDescrs(): ParamDescrs<Name>;
    usingParams(params: Params<Name>): Simplifier<Name>;
}

Type Parameters

Name extends string = "main"

Index

Properties

Methods

andThen help paramDescrs usingParams

Properties

`Readonly`ctx

ctx: Context<Name>

`Readonly`ptr

ptr: Z3_simplifier

Methods

andThen

andThen(other: Simplifier<Name>): Simplifier<Name>
Return a simplifier that applies this simplifier and then another simplifier.
Parameters
- other: Simplifier<Name>
  The simplifier to apply after this one
Returns Simplifier<Name>
- Defined in src/high-level/types.ts:3231

help

help(): string
Return a string containing a description of parameters accepted by this simplifier.

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

paramDescrs

paramDescrs(): ParamDescrs<Name>
Return the parameter description set for this simplifier.

Returns ParamDescrs<Name>
- Defined in src/high-level/types.ts:3219

usingParams

usingParams(params: Params<Name>): Simplifier<Name>
Return a simplifier that uses the given configuration parameters.
Parameters
- params: Params<Name>
  Parameters to configure the simplifier
Returns Simplifier<Name>
- Defined in src/high-level/types.ts:3225