Interface Bool<Name>

interface Bool<Name extends string = "main"> {
    ctx: Context<Name>;
    get ast(): Z3_ast;
    get sort(): S;
    and(other: boolean | Bool<Name>): Bool<Name>;
    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;
    implies(other: boolean | Bool<Name>): Bool<Name>;
    name(): string | number;
    neq(other: CoercibleToExpr<Name>): Bool<Name>;
    neqIdentity(other: Ast<Name, unknown>): boolean;
    not(): Bool<Name>;
    numArgs(): number;
    or(other: boolean | Bool<Name>): Bool<Name>;
    params(): (
        | string
        | number
        | Sort<Name>
        | Expr<Name, AnySort<Name>, unknown>
        | FuncDecl<Name, Sort<Name>[], Sort<Name>>
    )[];
    sexpr(): string;
    xor(other: boolean | Bool<Name>): Bool<Name>;
}

Type Parameters

  • Name extends string = "main"

Hierarchy (View Summary)

Properties

ctx

Accessors

ast sort

Methods

and arg children decl eq eqIdentity hash id implies name neq neqIdentity not numArgs or params sexpr xor

Properties

Readonlyctx

ctx: Context<Name>

Accessors

ast

sort

Methods

and

arg

children

decl

eq

eqIdentity

hash

id

implies

name

neq

neqIdentity

not

numArgs

or

params

sexpr

xor

Settings

Member Visibility

On This Page

Properties
Accessors
Methods