Searched refs:KnownNonNegativeVariables (Results 1 – 1 of 1) sorted by relevance
465 DenseMap<Value *, bool> KnownNonNegativeVariables; in getConstraint() local471 KnownNonNegativeVariables.insert({KV.Variable, KV.IsKnownNonNegative}); in getConstraint()478 KnownNonNegativeVariables.insert({KV.Variable, KV.IsKnownNonNegative}); in getConstraint()503 for (auto &KV : KnownNonNegativeVariables) { in getConstraint()