Interface Ast<Name, Ptr>

interface Ast<Name extends string = "main", Ptr = unknown> {
    ctx: Context<Name>;
    get ast(): Z3_ast;
    eqIdentity(other: Ast<Name, unknown>): boolean;
    hash(): number;
    id(): number;
    neqIdentity(other: Ast<Name, unknown>): boolean;
    sexpr(): string;
}

Type Parameters

Name extends string = "main"
Ptr = unknown

Hierarchy (View Summary)

Ast

Index

Properties

Accessors

Methods

eqIdentity hash id neqIdentity sexpr

Properties

`Readonly`ctx

ctx: Context<Name>

Accessors

ast

get ast(): Z3_ast
Returns Z3_ast
- Defined in src/high-level/types.ts:689

Methods

eqIdentity

eqIdentity(other: Ast<Name, unknown>): boolean
Parameters
- other: Ast<Name, unknown>
Returns boolean
- Defined in src/high-level/types.ts:694

hash

hash(): number
Returns number
- Defined in src/high-level/types.ts:700

id

id(): number
Returns number
- Defined in src/high-level/types.ts:692

neqIdentity

neqIdentity(other: Ast<Name, unknown>): boolean
Parameters
- other: Ast<Name, unknown>
Returns boolean
- Defined in src/high-level/types.ts:696

sexpr

sexpr(): string
Returns string
- Defined in src/high-level/types.ts:698