MCPcopy Create free account
hub / github.com/GoSSIP-SJTU/Armariris / getD

Method getD

lib/Analysis/DependenceAnalysis.cpp:342–345  ·  view source on GitHub ↗

If constraint is a distance, returns D. Otherwise assert.

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers 3

intersectConstraintsMethod · 0.80
propagateDistanceMethod · 0.80
updateDirectionMethod · 0.80

Calls 2

getNegativeSCEVMethod · 0.80
assertFunction · 0.50

Tested by

no test coverage detected