Searched refs:PositiveContext (Results 1 – 1 of 1) sorted by relevance
1977 auto PositiveContext = getAssumedContext(); in hasFeasibleRuntimeContext() local1979 PositiveContext = addNonEmptyDomainConstraints(PositiveContext); in hasFeasibleRuntimeContext()1981 if (!PositiveContext) in hasFeasibleRuntimeContext()1984 bool IsFeasible = !(PositiveContext.is_empty() || in hasFeasibleRuntimeContext()1985 PositiveContext.is_subset(NegativeContext)); in hasFeasibleRuntimeContext()