import { TestGraph } from '../generation/generators/types';
import { PropertyValidationResult } from './types';
/**
 * Validate unit disk graph property.
 * Unit disk graphs are defined by geometric constraints (points within radius).
 * @param graph
 */
export declare const validateUnitDisk: (graph: TestGraph) => PropertyValidationResult;
/**
 * Validate planar graph property.
 * Planar graphs can be drawn in the plane without edge crossings.
 * @param graph
 */
export declare const validatePlanar: (graph: TestGraph) => PropertyValidationResult;
//# sourceMappingURL=geometric.d.ts.map