import { TestGraph } from '../generation/generators/types.js';
import { PropertyValidationResult } from './types.js';
/**
 * Validate Pathwidth property.
 * Pathwidth at most k
 *
 * For small graphs (<=10 nodes), analyze and compare with spec.
 * For large graphs, skip validation (assume generator is correct).
 *
 * @param graph - Test graph to validate
 * @param _adjustments - Optional validation adjustments
 * @returns PropertyValidationResult for validation details
 */
export declare const validatePathwidth: (graph: TestGraph, _adjustments?: Partial<Record<string, boolean>>) => PropertyValidationResult;
/**
 * Validate Cliquewidth property.
 * Cliquewidth at most k
 *
 * For small graphs (<=10 nodes), analyze and compare with spec.
 * For large graphs, skip validation (assume generator is correct).
 *
 * @param graph - Test graph to validate
 * @param _adjustments - Optional validation adjustments
 * @returns PropertyValidationResult for validation details
 */
export declare const validateCliquewidth: (graph: TestGraph, _adjustments?: Partial<Record<string, boolean>>) => PropertyValidationResult;
//# sourceMappingURL=width.d.ts.map