export function addSubgraphConstraints(g: any, cg: any, vs: any): void;