Interface Expr<Name, S, Ptr>

interface Expr<
    Name extends string = "main",
    S extends Sort<Name> = AnySort<Name>,
    Ptr = unknown,
> {
    ctx: Context<Name>;
    get ast(): Z3_ast;
    get sort(): S;
    arg(i: number): AnyExpr<Name>;
    children(): AnyExpr<Name>[];
    decl(): FuncDecl<Name, Sort<Name>[], Sort<Name>>;
    eq(other: CoercibleToExpr<Name>): Bool<Name>;
    eqIdentity(other: Ast<Name, unknown>): boolean;
    hash(): number;
    id(): number;
    name(): string | number;
    neq(other: CoercibleToExpr<Name>): Bool<Name>;
    neqIdentity(other: Ast<Name, unknown>): boolean;
    numArgs(): number;
    params(): (
        | string
        | number
        | Sort<Name>
        | FuncDecl<Name, Sort<Name>[], Sort<Name>>
        | Expr<Name, AnySort<Name>, unknown>
    )[];
    sexpr(): string;
}

Type Parameters

  • Name extends string = "main"
  • S extends Sort<Name> = AnySort<Name>
  • Ptr = unknown

Hierarchy (View Summary)

Properties

ctx

Accessors

ast sort

Methods

arg children decl eq eqIdentity hash id name neq neqIdentity numArgs params sexpr

Properties

Readonlyctx

ctx: Context<Name>

Accessors

ast

sort

Methods

arg

children

decl

eq

eqIdentity

hash

id

name

neq

neqIdentity

numArgs

params

sexpr

Settings

Member Visibility

On This Page

Properties
Accessors
Methods