Interface Z3HighLevel

ReadonlyContext

appendLog

• appendLog(s: string): void

• Parameters

  • s: string

  Returns void

disableTrace

• disableTrace(tag: string): void

• Parameters

  • tag: string

  Returns void

enableTrace

• enableTrace(tag: string): void

• Parameters

  • tag: string

  Returns void

getFullVersion

• getFullVersion(): string

• Returns string

getParam

• getParam(name: string): null | string

• Returns a global Z3 parameter

  Parameters

  • name: string

  Returns null | string

getVersion

• getVersion(): {
      build_number: number;
      major: number;
      minor: number;
      revision_number: number;
  }

• Returns { build_number: number; major: number; minor: number; revision_number: number }

getVersionString

• getVersionString(): string

• Returns string

openLog

• openLog(filename: string): boolean

• Parameters

  • filename: string

  Returns boolean

resetParams

• resetParams(): void

• Resets all Z3 parameters

  Returns void

setParam

• setParam(key: string, value: any): void

• Set a Z3 parameter

  setParam('pp.decimal', true);
  Copy

  Parameters

  • key: string
  • value: any

  Returns void
• setParam(key: Record<string, any>): void

• Set multiple Z3 parameters at once

  setParam({
    'pp.decimal': true,
    'pp.decimal_precision': 20
  });
  Copy

  Parameters

  • key: Record<string, any>

  Returns void