/** @codex-xmi-id 3e285cb3-3771-542c-9f35-164a12bc54a6 */
export declare class RestartOptions {
    autorestart?: boolean | undefined;
    maxRestarts?: number | undefined;
    restartCount?: number | undefined;
    constructor(autorestart?: boolean | undefined, maxRestarts?: number | undefined, restartCount?: number | undefined);
}