import { TestGraph } from '../generation/generators/types';
import { PropertyValidationResult } from './types';
/**
 * Validate minor-free graph classification.
 * Minor-free graphs exclude specific graph minors (Kuratowski-Wagner theorem).
 * We check metadata rather than actual minor-free structure.
 * @param graph
 */
export declare const validateMinorFree: (graph: TestGraph) => PropertyValidationResult;
/**
 * Validate topological minor-free graph classification.
 * Topological minor-free graphs exclude specific subdivisions.
 * We check metadata rather than actual structure.
 * @param graph
 */
export declare const validateTopologicalMinorFree: (graph: TestGraph) => PropertyValidationResult;
//# sourceMappingURL=minor.d.ts.map