import type { PropertyTest, PropertyTestExtractionResult, PropertyTestFrameworkTarget, PropertyBasedGeneratorInput } from '../types/property-testing.js';
/** Map a language/stack to the best property-based test framework. */
export declare function detectPropertyFramework(language: string, stack?: string[]): PropertyTestFrameworkTarget;
/**
 * Extract PropertyTest objects from acceptance criteria strings.
 * Each criterion is analyzed against known invariant patterns.
 * Criteria with no detected pattern are skipped.
 */
export declare function extractPropertyTests(input: PropertyBasedGeneratorInput): PropertyTest[];
/**
 * Full extraction with metadata: detected framework and analyzed criteria list.
 */
export declare function extractPropertyTestsWithMeta(input: PropertyBasedGeneratorInput): PropertyTestExtractionResult;
//# sourceMappingURL=property-test-generator.d.ts.map