import type { CompiledSymbolicDenotationV1, SymbolicDenotationAxisDomain, SymbolicDenotationCanonicalDagV1, SymbolicDenotationComplexityLimits, SymbolicDenotationPredicate, SymbolicDenotationScalar } from "./symbolic-denotation-types.js";
export declare const DEFAULT_SYMBOLIC_DENOTATION_COMPLEXITY_LIMITS: {
    readonly max_predicate_depth: 32;
    readonly max_input_predicate_nodes: 4096;
    readonly max_canonical_dag_nodes: 8192;
    readonly max_partition_edges: 65536;
    readonly max_canonical_bytes: 4194304;
};
export declare function compileSymbolicDenotation(domainsInput: SymbolicDenotationAxisDomain[], predicateInput: SymbolicDenotationPredicate, limits?: SymbolicDenotationComplexityLimits): CompiledSymbolicDenotationV1;
export interface SymbolicDenotationCompilationStatisticsV1 {
    axis_partition_builds: 1;
    compile_requests: number;
    compile_cache_hits: number;
    unique_compiled_predicates: number;
}
export declare class SymbolicDenotationCompilationSession {
    private readonly limits;
    private readonly domains;
    private readonly domainIndex;
    private readonly numberCuts;
    private readonly builder;
    private readonly compiled;
    private readonly theoreticalGroundCardinality;
    private compileRequests;
    private compileCacheHits;
    constructor(domainsInput: SymbolicDenotationAxisDomain[], seedPredicates: readonly SymbolicDenotationPredicate[], limits?: SymbolicDenotationComplexityLimits);
    compile(predicateInput: SymbolicDenotationPredicate): CompiledSymbolicDenotationV1;
    statistics(): SymbolicDenotationCompilationStatisticsV1;
    private inspect;
}
export declare function createSymbolicDenotationCompilationSession(domains: SymbolicDenotationAxisDomain[], seedPredicates: readonly SymbolicDenotationPredicate[], limits?: SymbolicDenotationComplexityLimits): SymbolicDenotationCompilationSession;
export declare function evaluateCanonicalSymbolicDenotation(dag: SymbolicDenotationCanonicalDagV1, assignment: Record<string, SymbolicDenotationScalar>): boolean;