export declare class PddlFactory {
    static createEmptyDomain(name: string): string;
    static createEmptyProblem(name: string, domainName: string): string;
}
export declare class Util {
    /**
     * Saves the `text` to temporary file.
     * @param text file text
     * @param options file creation options
     */
    static toFileSync(text: string, options: TempFileOptions): string;
    /**
     * Saves the `text` to temporary file.
     * @param text file text
     * @param options file creation options
     */
    static toFile(text: string, options: TempFileOptions): Promise<string>;
    private static toTmpFileOptions;
    /**
     * Saves the text to a temporary .pddl file
     * @param text file text
     * @param options file name options
    */
    static toPddlFileSync(text: string, options: TempFileNameOptions): string;
    /**
     * Saves the text to a temporary .pddl file
     * @param text file text
     * @param options file name options
    */
    static toPddlFile(text: string, options: TempFileNameOptions): Promise<string>;
}
export interface TempFileOptions extends TempFileNameOptions {
    /** File extension. It should start with a period character. */
    suffix: string;
}
export interface TempFileNameOptions {
    /** File prefix. If used, a hyphen will be added between the prefix and the generated temp file name. */
    prefix?: string;
    /** Allows you to override the system's root tmp directory. */
    tmpdir?: string;
}