import { TestGraph } from '../generation/generators/types';
import { PropertyValidationResult } from './types';
/**
 * Validate hereditary class property.
 * Hereditary classes are closed under taking induced subgraphs.
 * @param graph
 */
export declare const validateHereditaryClass: (graph: TestGraph) => PropertyValidationResult;
/**
 * Validate independence number (α).
 * Independence number is the size of the largest independent set (no two vertices adjacent).
 * @param graph
 */
export declare const validateIndependenceNumber: (graph: TestGraph) => PropertyValidationResult;
/**
 * Validate vertex cover number (τ).
 * Vertex cover number is the minimum vertices covering all edges.
 * @param graph
 */
export declare const validateVertexCover: (graph: TestGraph) => PropertyValidationResult;
/**
 * Validate domination number (γ).
 * Domination number is the minimum vertices such that every vertex is either
 * in the dominating set or adjacent to a vertex in the set.
 * @param graph
 */
export declare const validateDominationNumber: (graph: TestGraph) => PropertyValidationResult;
//# sourceMappingURL=invariant.d.ts.map