Interface FuncEntry<Name>

interface FuncEntry<Name extends string = "main"> {
    ctx: Context<Name>;
    ptr: Z3_func_entry;
    argValue(i: number): Expr<Name, AnySort<Name>, unknown>;
    numArgs(): number;
    value(): Expr<Name, AnySort<Name>, unknown>;
}

Type Parameters

Name extends string = "main"

Index

Properties

Methods

argValue numArgs value

Properties

`Readonly`ctx

ctx: Context<Name>

`Readonly`ptr

ptr: Z3_func_entry

Methods

argValue

argValue(i: number): Expr<Name, AnySort<Name>, unknown>
Parameters
- i: number
Returns Expr<Name, AnySort<Name>, unknown>
- Defined in src/high-level/types.ts:977

numArgs

numArgs(): number
Returns number
- Defined in src/high-level/types.ts:975

value

value(): Expr<Name, AnySort<Name>, unknown>
Returns Expr<Name, AnySort<Name>, unknown>
- Defined in src/high-level/types.ts:979