Predicate FindModel::pathToScope
Holds if (type,path)
identifies scope
.
Import path
import modeling.Util
predicate pathToScope(RelevantScope scope, string type, string path)
Holds if (type,path)
identifies scope
.
import modeling.Util
predicate pathToScope(RelevantScope scope, string type, string path)