/**
 * V3.1 Inference Engine - Entry Point
 * Exports complete inference engine functionality
 */
export * from './core/index.js';
export * from './logical/index.js';
export * from './deployment/index.js';
export { ComprehensiveInferenceEngine } from './comprehensive-engine.js';
export type { ComprehensiveInferenceResult } from './comprehensive-engine.js';
export { generateDevSpecly } from './dev-specly-generator.js';
export { transpileEntityGuards, extractStateVariables, transpileQuintFile, generateGuardsModule, type TranspiledGuard } from './quint-transpiler.js';
export { verifySpec, buildSnapshot, formatVerificationResult, type VerificationResult, type VerificationFailure, type VerificationSkip, type VerificationError, type VerifyOptions } from './verification.js';
export { transpileActions, generateActionsModule, type TranspiledAction } from './quint-transpiler.js';
import type { InferenceEngine, EngineInfo, ValidationResult, InferenceOptions, InferenceResult } from '@specverse/types';
declare class SpecVerseInferenceEngine implements InferenceEngine {
    name: string;
    version: string;
    capabilities: string[];
    private _engine;
    initialize(config?: {
        options?: any;
        debug?: boolean;
    }): Promise<void>;
    getInfo(): EngineInfo;
    loadRules(): Promise<ValidationResult>;
    infer(ast: any, options?: InferenceOptions): Promise<InferenceResult>;
}
export declare const engine: SpecVerseInferenceEngine;
export default engine;
//# sourceMappingURL=index.d.ts.map