import { TestGraph } from '../generation/generators/types.js';
import { PropertyValidationResult } from './types.js';
/**
 * Validate Modular property.
 * Every module is trivial
 *
 * @param graph - Test graph to validate
 * @param _adjustments - Optional validation adjustments
 * @returns PropertyValidationResult for validation details
 */
export declare const validateModular: (graph: TestGraph, _adjustments?: Partial<Record<string, boolean>>) => PropertyValidationResult;
/**
 * Validate Ptolemaic property.
 * Distance hereditary and chordal
 *
 * @param graph - Test graph to validate
 * @param _adjustments - Optional validation adjustments
 * @returns PropertyValidationResult for validation details
 */
export declare const validatePtolemaic: (graph: TestGraph, _adjustments?: Partial<Record<string, boolean>>) => PropertyValidationResult;
/**
 * Validate QuasiLine property.
 * No induced gem, no co-gem
 *
 * @param graph - Test graph to validate
 * @param _adjustments - Optional validation adjustments
 * @returns PropertyValidationResult for validation details
 */
export declare const validateQuasiLine: (graph: TestGraph, _adjustments?: Partial<Record<string, boolean>>) => PropertyValidationResult;
//# sourceMappingURL=perfect-variants.d.ts.map