Searched refs:NegativeContext (Results 1 – 1 of 1) sorted by relevance
1978 auto NegativeContext = getInvalidContext(); in hasFeasibleRuntimeContext() local1985 PositiveContext.is_subset(NegativeContext)); in hasFeasibleRuntimeContext()1990 IsFeasible = !DomainContext.is_subset(NegativeContext); in hasFeasibleRuntimeContext()1991 IsFeasible &= !getContext().is_subset(NegativeContext); in hasFeasibleRuntimeContext()