reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1970 if (!IsFeasible) 1974 IsFeasible = !DomainContext.is_subset(NegativeContext); 1975 IsFeasible &= !getContext().is_subset(NegativeContext); 1977 return IsFeasible;