Searched refs:IsFeasible (Results 1 – 2 of 2) sorted by relevance
84 bool IsFeasible = IsNull ? Assumption : !Assumption; in assumeAux() local85 return IsFeasible ? State : nullptr; in assumeAux()
1984 bool IsFeasible = !(PositiveContext.is_empty() || in hasFeasibleRuntimeContext() local1986 if (!IsFeasible) in hasFeasibleRuntimeContext()1990 IsFeasible = !DomainContext.is_subset(NegativeContext); in hasFeasibleRuntimeContext()1991 IsFeasible &= !getContext().is_subset(NegativeContext); in hasFeasibleRuntimeContext()1993 return IsFeasible; in hasFeasibleRuntimeContext()