import { Graph, GraphNode } from '../Graphs';
export declare type ImmediateDominatorEdge<CFGNodeType> = {
    type: 'immediateDominator';
    from: DominatorTreeNode<CFGNodeType>;
    to: DominatorTreeNode<CFGNodeType>;
};
export declare type DominatorTreeNode<CFGNodeType> = {
    id: string;
    cfgNode: CFGNodeType;
    immediateDominator?: ImmediateDominatorEdge<CFGNodeType>;
    dominates: ImmediateDominatorEdge<CFGNodeType>[];
};
export declare class DominatorTree<CFGNodeType extends GraphNode> extends Graph<DominatorTreeNode<CFGNodeType>, ImmediateDominatorEdge<CFGNodeType>> {
    static fromCFG<CFGNodeType extends GraphNode>(graph: Graph<CFGNodeType>): DominatorTree<CFGNodeType>;
    dominates(a: string, b: string): boolean;
    immediatelyDominates(a: string, b: string): boolean;
    getInwardEdges(node: DominatorTreeNode<CFGNodeType>): ImmediateDominatorEdge<CFGNodeType>[];
    getOutwardEdges(node: DominatorTreeNode<CFGNodeType>): ImmediateDominatorEdge<CFGNodeType>[];
    getImmediateDominator(id: string): CFGNodeType | undefined;
    getImmediateDominees(id: string): CFGNodeType[];
}