import type { TCorePropositionalExpression } from "../schemata/index.js";
import type { ChangeCollector } from "./change-collector.js";
import type { TLogicEngineOptions } from "./argument-engine.js";
/**
 * Marks an expression and all its ancestors as dirty for hierarchical
 * checksum recomputation. Stops early when it reaches an expression
 * already in the dirty set (since its ancestors are already marked).
 */
export declare function markExpressionDirty<TExpr extends TCorePropositionalExpression>(exprId: string, dirtyExpressionIds: Set<string>, expressions: Map<string, TExpr>): void;
/**
 * Recomputes `descendantChecksum` and `combinedChecksum` for all dirty
 * expressions, processing bottom-up (deepest first) so that children
 * are up-to-date before their parents are computed.
 */
export declare function flushExpressionChecksums<TExpr extends TCorePropositionalExpression>(dirtyExpressionIds: Set<string>, expressions: Map<string, TExpr>, childExpressionIdsByParentId: Map<string | null, Set<string>>, config: TLogicEngineOptions | undefined, collector: ChangeCollector | null): void;
/**
 * Removes deleted expression IDs from the dirty set so that flush
 * doesn't attempt to process expressions that no longer exist.
 */
export declare function pruneDeletedFromDirtySet(deletedIds: Set<string>, dirtyExpressionIds: Set<string>): void;
//# sourceMappingURL=expression-manager-dirty-set.d.ts.map