import { Result } from '../router.js';
/**
 * Plots the graph of the result to a dot file.
 * @param result - The result object to plot.
 * @param filePath - The path where the dot file will be saved.
 */
export declare const plotGraphToDotFile: (result: Result, filePath: string) => void;