Interface ArithSort<Name>

A Sort that represents Integers or Real numbers

interface ArithSort<Name extends string = "main"> {
    ctx: Context<Name>;
    get ast(): Z3_ast;
    cast(other: string | number | bigint): IntNum<Name> | RatNum<Name>;
    cast(other: CoercibleRational | RatNum<Name>): RatNum<Name>;
    cast(other: IntNum<Name>): IntNum<Name>;
    cast(
        other:
            | string
            | number
            | bigint
            | CoercibleRational
            | Bool<Name>
            | Arith<Name>,
    ): Arith<Name>;
    cast(other: CoercibleToExpr<Name>): never;
    eqIdentity(other: Ast<Name, unknown>): boolean;
    hash(): number;
    id(): number;
    kind(): Z3_sort_kind;
    name(): string | number;
    neqIdentity(other: Ast<Name, unknown>): boolean;
    sexpr(): string;
    subsort(other: Sort<Name>): boolean;
}

Type Parameters

  • Name extends string = "main"

Hierarchy (View Summary)

Properties

ctx

Accessors

ast

Methods

cast eqIdentity hash id kind name neqIdentity sexpr subsort

Properties

Readonlyctx

ctx: Context<Name>

Accessors

ast

Methods

cast

eqIdentity

hash

id

kind

name

neqIdentity

sexpr

subsort

Settings

Member Visibility

On This Page

Properties
Accessors
Methods