Method finish

src/analysis/pointsto/mod.rs:141–143

(self)

    }

    pub fn finish(self) -> FxHashMap<ConstraintNode<'tcx>, FxHashSet<ConstraintNode<'tcx>>> {
        self.pts
    }
}

/// `ConstraintNode` represents a memory cell, denoted by `Place` in MIR.