import type { JSONSupport } from "../../../../core/JSONSupport.js";

/** @since 5.0 */
export interface VerifyCircuitsParametersProperties extends Partial<Pick<VerifyCircuitsParameters, "allCircuits" | "circuitNames" | "continueOnFailure" | "forceVerify" | "synthesizeGeometries">> {}

/** @since 5.0 */
export default class VerifyCircuitsParameters extends JSONSupport {
  constructor(properties?: VerifyCircuitsParametersProperties);
  /**
   * @default false
   * @since 5.0
   */
  accessor allCircuits: boolean;
  /** @since 5.0 */
  accessor circuitNames: string[];
  /**
   * @default false
   * @since 5.0
   */
  accessor continueOnFailure: boolean;
  /**
   * @default false
   * @since 5.0
   */
  accessor forceVerify: boolean;
  /**
   * @default false
   * @since 5.0
   */
  accessor synthesizeGeometries: boolean;
}