MCPcopy Create free account
hub / github.com/CodeSentryAI/lockbud / ConstraintGraph

Class ConstraintGraph

src/analysis/pointsto/mod.rs:200–203  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

198
199#[derive(Default)]
200struct ConstraintGraph<'tcx> {
201 graph: Graph<ConstraintNode<'tcx>, ConstraintEdge, Directed>,
202 node_map: FxHashMap<ConstraintNode<'tcx>, NodeIndex>,
203}
204
205impl<'tcx> ConstraintGraph<'tcx> {
206 fn get_or_insert_node(&mut self, node: ConstraintNode<'tcx>) -> NodeIndex {

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected