import type { AnalysisContext, Finding } from "./types.js";
import { SemanticGraph } from "./semantic-graph.js";
export interface SymbolicExecutionContract {
    nodeId: string;
    inputs: Record<string, "symbolic" | any>;
    constraints: any[];
    stateSpace: Map<string, any[]>;
}
export declare class SymbolicEngine {
    private graph;
    private contracts;
    constructor(graph: SemanticGraph);
    registerContract(contract: SymbolicExecutionContract): void;
    /**
     * Evaluates dynamic nodes based on their contracts.
     * This is a simplified implementation of Abstract Interpretation.
     */
    evaluateContracts(context: AnalysisContext): Promise<Finding[]>;
}