include/isl/cpp-checked.h

473   inline isl::checked::aff sub(isl::checked::aff aff2) const;
474   inline isl::checked::multi_aff sub(const isl::checked::multi_aff &multi2) const;
475   inline isl::checked::multi_pw_aff sub(const isl::checked::multi_pw_aff &multi2) const;
476   inline isl::checked::multi_union_pw_aff sub(const isl::checked::multi_union_pw_aff &multi2) const;
477   inline isl::checked::pw_aff sub(const isl::checked::pw_aff &pwaff2) const;
478   inline isl::checked::pw_multi_aff sub(const isl::checked::pw_multi_aff &pma2) const;
479   inline isl::checked::union_pw_aff sub(const isl::checked::union_pw_aff &upa2) const;
480   inline isl::checked::union_pw_multi_aff sub(const isl::checked::union_pw_multi_aff &upma2) const;
2289   inline isl::checked::multi_aff sub(isl::checked::multi_aff multi2) const;
2290   inline isl::checked::multi_pw_aff sub(const isl::checked::multi_pw_aff &multi2) const;
2291   inline isl::checked::multi_union_pw_aff sub(const isl::checked::multi_union_pw_aff &multi2) const;
2292   inline isl::checked::pw_multi_aff sub(const isl::checked::pw_multi_aff &pma2) const;
2293   inline isl::checked::union_pw_multi_aff sub(const isl::checked::union_pw_multi_aff &upma2) const;
2294   inline isl::checked::multi_aff sub(const isl::checked::aff &multi2) const;
2468   inline isl::checked::multi_pw_aff sub(isl::checked::multi_pw_aff multi2) const;
2469   inline isl::checked::multi_union_pw_aff sub(const isl::checked::multi_union_pw_aff &multi2) const;
2470   inline isl::checked::multi_pw_aff sub(const isl::checked::aff &multi2) const;
2471   inline isl::checked::multi_pw_aff sub(const isl::checked::multi_aff &multi2) const;
2472   inline isl::checked::multi_pw_aff sub(const isl::checked::pw_aff &multi2) const;
2473   inline isl::checked::multi_pw_aff sub(const isl::checked::pw_multi_aff &multi2) const;
2547   inline isl::checked::multi_union_pw_aff sub(isl::checked::multi_union_pw_aff multi2) const;
2611   inline isl::checked::multi_val sub(isl::checked::multi_val multi2) const;
2895   inline isl::checked::multi_pw_aff sub(const isl::checked::multi_pw_aff &multi2) const;
2896   inline isl::checked::multi_union_pw_aff sub(const isl::checked::multi_union_pw_aff &multi2) const;
2897   inline isl::checked::pw_aff sub(isl::checked::pw_aff pwaff2) const;
2898   inline isl::checked::pw_multi_aff sub(const isl::checked::pw_multi_aff &pma2) const;
2899   inline isl::checked::union_pw_aff sub(const isl::checked::union_pw_aff &upa2) const;
2900   inline isl::checked::union_pw_multi_aff sub(const isl::checked::union_pw_multi_aff &upma2) const;
2901   inline isl::checked::pw_aff sub(const isl::checked::aff &pwaff2) const;
3103   inline isl::checked::multi_pw_aff sub(const isl::checked::multi_pw_aff &multi2) const;
3104   inline isl::checked::multi_union_pw_aff sub(const isl::checked::multi_union_pw_aff &multi2) const;
3105   inline isl::checked::pw_multi_aff sub(isl::checked::pw_multi_aff pma2) const;
3106   inline isl::checked::union_pw_multi_aff sub(const isl::checked::union_pw_multi_aff &upma2) const;
3107   inline isl::checked::pw_multi_aff sub(const isl::checked::multi_aff &pma2) const;
3108   inline isl::checked::pw_multi_aff sub(const isl::checked::pw_aff &pma2) const;
4137   inline isl::checked::multi_union_pw_aff sub(const isl::checked::multi_union_pw_aff &multi2) const;
4138   inline isl::checked::union_pw_aff sub(isl::checked::union_pw_aff upa2) const;
4139   inline isl::checked::union_pw_multi_aff sub(const isl::checked::union_pw_multi_aff &upma2) const;
4140   inline isl::checked::union_pw_aff sub(const isl::checked::aff &upa2) const;
4141   inline isl::checked::union_pw_aff sub(const isl::checked::pw_aff &upa2) const;
4252   inline isl::checked::union_pw_multi_aff sub(isl::checked::union_pw_multi_aff upma2) const;
4457   inline isl::checked::val sub(isl::checked::val v2) const;
4458   inline isl::checked::val sub(long v2) const;
5282 isl::checked::aff aff::sub(isl::checked::aff aff2) const
5288 isl::checked::multi_aff aff::sub(const isl::checked::multi_aff &multi2) const
5290   return isl::checked::multi_aff(*this).sub(multi2);
5293 isl::checked::multi_pw_aff aff::sub(const isl::checked::multi_pw_aff &multi2) const
5295   return isl::checked::pw_aff(*this).sub(multi2);
5298 isl::checked::multi_union_pw_aff aff::sub(const isl::checked::multi_union_pw_aff &multi2) const
5300   return isl::checked::pw_aff(*this).sub(multi2);
5303 isl::checked::pw_aff aff::sub(const isl::checked::pw_aff &pwaff2) const
5305   return isl::checked::pw_aff(*this).sub(pwaff2);
5308 isl::checked::pw_multi_aff aff::sub(const isl::checked::pw_multi_aff &pma2) const
5310   return isl::checked::pw_aff(*this).sub(pma2);
5313 isl::checked::union_pw_aff aff::sub(const isl::checked::union_pw_aff &upa2) const
5315   return isl::checked::pw_aff(*this).sub(upa2);
5318 isl::checked::union_pw_multi_aff aff::sub(const isl::checked::union_pw_multi_aff &upma2) const
5320   return isl::checked::pw_aff(*this).sub(upma2);
11507 isl::checked::multi_aff multi_aff::sub(isl::checked::multi_aff multi2) const
11513 isl::checked::multi_pw_aff multi_aff::sub(const isl::checked::multi_pw_aff &multi2) const
11515   return isl::checked::pw_multi_aff(*this).sub(multi2);
11518 isl::checked::multi_union_pw_aff multi_aff::sub(const isl::checked::multi_union_pw_aff &multi2) const
11520   return isl::checked::pw_multi_aff(*this).sub(multi2);
11523 isl::checked::pw_multi_aff multi_aff::sub(const isl::checked::pw_multi_aff &pma2) const
11525   return isl::checked::pw_multi_aff(*this).sub(pma2);
11528 isl::checked::union_pw_multi_aff multi_aff::sub(const isl::checked::union_pw_multi_aff &upma2) const
11530   return isl::checked::pw_multi_aff(*this).sub(upma2);
11533 isl::checked::multi_aff multi_aff::sub(const isl::checked::aff &multi2) const
11535   return this->sub(isl::checked::multi_aff(multi2));
12332 isl::checked::multi_pw_aff multi_pw_aff::sub(isl::checked::multi_pw_aff multi2) const
12338 isl::checked::multi_union_pw_aff multi_pw_aff::sub(const isl::checked::multi_union_pw_aff &multi2) const
12340   return isl::checked::multi_union_pw_aff(*this).sub(multi2);
12343 isl::checked::multi_pw_aff multi_pw_aff::sub(const isl::checked::aff &multi2) const
12345   return this->sub(isl::checked::multi_pw_aff(multi2));
12348 isl::checked::multi_pw_aff multi_pw_aff::sub(const isl::checked::multi_aff &multi2) const
12350   return this->sub(isl::checked::multi_pw_aff(multi2));
12353 isl::checked::multi_pw_aff multi_pw_aff::sub(const isl::checked::pw_aff &multi2) const
12355   return this->sub(isl::checked::multi_pw_aff(multi2));
12358 isl::checked::multi_pw_aff multi_pw_aff::sub(const isl::checked::pw_multi_aff &multi2) const
12360   return this->sub(isl::checked::multi_pw_aff(multi2));
12692 isl::checked::multi_union_pw_aff multi_union_pw_aff::sub(isl::checked::multi_union_pw_aff multi2) const
12970 isl::checked::multi_val multi_val::sub(isl::checked::multi_val multi2) const
14300 isl::checked::multi_pw_aff pw_aff::sub(const isl::checked::multi_pw_aff &multi2) const
14302   return isl::checked::pw_multi_aff(*this).sub(multi2);
14305 isl::checked::multi_union_pw_aff pw_aff::sub(const isl::checked::multi_union_pw_aff &multi2) const
14307   return isl::checked::union_pw_aff(*this).sub(multi2);
14310 isl::checked::pw_aff pw_aff::sub(isl::checked::pw_aff pwaff2) const
14316 isl::checked::pw_multi_aff pw_aff::sub(const isl::checked::pw_multi_aff &pma2) const
14318   return isl::checked::pw_multi_aff(*this).sub(pma2);
14321 isl::checked::union_pw_aff pw_aff::sub(const isl::checked::union_pw_aff &upa2) const
14323   return isl::checked::union_pw_aff(*this).sub(upa2);
14326 isl::checked::union_pw_multi_aff pw_aff::sub(const isl::checked::union_pw_multi_aff &upma2) const
14328   return isl::checked::union_pw_aff(*this).sub(upma2);
14331 isl::checked::pw_aff pw_aff::sub(const isl::checked::aff &pwaff2) const
14333   return this->sub(isl::checked::pw_aff(pwaff2));
15300 isl::checked::multi_pw_aff pw_multi_aff::sub(const isl::checked::multi_pw_aff &multi2) const
15302   return isl::checked::multi_pw_aff(*this).sub(multi2);
15305 isl::checked::multi_union_pw_aff pw_multi_aff::sub(const isl::checked::multi_union_pw_aff &multi2) const
15307   return isl::checked::multi_pw_aff(*this).sub(multi2);
15310 isl::checked::pw_multi_aff pw_multi_aff::sub(isl::checked::pw_multi_aff pma2) const
15316 isl::checked::union_pw_multi_aff pw_multi_aff::sub(const isl::checked::union_pw_multi_aff &upma2) const
15318   return isl::checked::union_pw_multi_aff(*this).sub(upma2);
15321 isl::checked::pw_multi_aff pw_multi_aff::sub(const isl::checked::multi_aff &pma2) const
15323   return this->sub(isl::checked::pw_multi_aff(pma2));
15326 isl::checked::pw_multi_aff pw_multi_aff::sub(const isl::checked::pw_aff &pma2) const
15328   return this->sub(isl::checked::pw_multi_aff(pma2));
19473 isl::checked::multi_union_pw_aff union_pw_aff::sub(const isl::checked::multi_union_pw_aff &multi2) const
19475   return isl::checked::multi_union_pw_aff(*this).sub(multi2);
19478 isl::checked::union_pw_aff union_pw_aff::sub(isl::checked::union_pw_aff upa2) const
19484 isl::checked::union_pw_multi_aff union_pw_aff::sub(const isl::checked::union_pw_multi_aff &upma2) const
19486   return isl::checked::union_pw_multi_aff(*this).sub(upma2);
19489 isl::checked::union_pw_aff union_pw_aff::sub(const isl::checked::aff &upa2) const
19491   return this->sub(isl::checked::union_pw_aff(upa2));
19494 isl::checked::union_pw_aff union_pw_aff::sub(const isl::checked::pw_aff &upa2) const
19496   return this->sub(isl::checked::union_pw_aff(upa2));
19982 isl::checked::union_pw_multi_aff union_pw_multi_aff::sub(isl::checked::union_pw_multi_aff upma2) const
20949 isl::checked::val val::sub(isl::checked::val v2) const
20955 isl::checked::val val::sub(long v2) const
20957   return this->sub(isl::checked::val(ctx(), v2));