Comparison relation (for two-sided comparisons)
| 1219 | |
| 1220 | /// Comparison relation (for two-sided comparisons) |
| 1221 | class SetCmpRel { |
| 1222 | public: |
| 1223 | /// Left side of relation |
| 1224 | SetExpr l; |
| 1225 | /// Right side of relation |
| 1226 | SetExpr r; |
| 1227 | /// Which relation |
| 1228 | SetRelType srt; |
| 1229 | /// Constructor |
| 1230 | SetCmpRel(const SetExpr& l, SetRelType srt, const SetExpr& r); |
| 1231 | }; |
| 1232 | |
| 1233 | /// %Set relations |
| 1234 | class SetRel { |
no outgoing calls
no test coverage detected