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