| /dports/lang/gcc6-aux/gcc-6-20180516/gcc/testsuite/g++.dg/cpp0x/ |
| H A D | initlist70.C | 19 template <size_t> struct EqHelper { }; struct
24 EqHelper<sizeof IsNullLiteralHelper(set<int>{1})> eq1; // ok in Fn()
25 EqHelper<sizeof IsNullLiteralHelper(set<string>())> eq2; // ok in Fn()
26 EqHelper<sizeof IsNullLiteralHelper(set<string>{"foo"})> eq3; // error in Fn()
|
| /dports/lang/gcc12-devel/gcc-12-20211205/gcc/testsuite/g++.dg/cpp0x/ |
| H A D | initlist70.C | 19 template <size_t> struct EqHelper { }; struct
24 EqHelper<sizeof IsNullLiteralHelper(set<int>{1})> eq1; // ok in Fn()
25 EqHelper<sizeof IsNullLiteralHelper(set<string>())> eq2; // ok in Fn()
26 EqHelper<sizeof IsNullLiteralHelper(set<string>{"foo"})> eq3; // error in Fn()
|
| /dports/lang/gcc9/gcc-9.4.0/gcc/testsuite/g++.dg/cpp0x/ |
| H A D | initlist70.C | 19 template <size_t> struct EqHelper { }; struct
24 EqHelper<sizeof IsNullLiteralHelper(set<int>{1})> eq1; // ok in Fn()
25 EqHelper<sizeof IsNullLiteralHelper(set<string>())> eq2; // ok in Fn()
26 EqHelper<sizeof IsNullLiteralHelper(set<string>{"foo"})> eq3; // error in Fn()
|
| /dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/gcc/testsuite/g++.dg/cpp0x/ |
| H A D | initlist70.C | 19 template <size_t> struct EqHelper { }; struct
24 EqHelper<sizeof IsNullLiteralHelper(set<int>{1})> eq1; // ok in Fn()
25 EqHelper<sizeof IsNullLiteralHelper(set<string>())> eq2; // ok in Fn()
26 EqHelper<sizeof IsNullLiteralHelper(set<string>{"foo"})> eq3; // error in Fn()
|
| /dports/devel/avr-gcc/gcc-10.2.0/gcc/testsuite/g++.dg/cpp0x/ |
| H A D | initlist70.C | 19 template <size_t> struct EqHelper { }; struct
24 EqHelper<sizeof IsNullLiteralHelper(set<int>{1})> eq1; // ok in Fn()
25 EqHelper<sizeof IsNullLiteralHelper(set<string>())> eq2; // ok in Fn()
26 EqHelper<sizeof IsNullLiteralHelper(set<string>{"foo"})> eq3; // error in Fn()
|
| /dports/devel/riscv64-gcc/gcc-8.3.0/gcc/testsuite/g++.dg/cpp0x/ |
| H A D | initlist70.C | 19 template <size_t> struct EqHelper { }; struct
24 EqHelper<sizeof IsNullLiteralHelper(set<int>{1})> eq1; // ok in Fn()
25 EqHelper<sizeof IsNullLiteralHelper(set<string>())> eq2; // ok in Fn()
26 EqHelper<sizeof IsNullLiteralHelper(set<string>{"foo"})> eq3; // error in Fn()
|
| /dports/lang/gnat_util/gcc-6-20180516/gcc/testsuite/g++.dg/cpp0x/ |
| H A D | initlist70.C | 19 template <size_t> struct EqHelper { }; struct
24 EqHelper<sizeof IsNullLiteralHelper(set<int>{1})> eq1; // ok in Fn()
25 EqHelper<sizeof IsNullLiteralHelper(set<string>())> eq2; // ok in Fn()
26 EqHelper<sizeof IsNullLiteralHelper(set<string>{"foo"})> eq3; // error in Fn()
|
| /dports/devel/aarch64-none-elf-gcc/gcc-8.4.0/gcc/testsuite/g++.dg/cpp0x/ |
| H A D | initlist70.C | 19 template <size_t> struct EqHelper { }; struct
24 EqHelper<sizeof IsNullLiteralHelper(set<int>{1})> eq1; // ok in Fn()
25 EqHelper<sizeof IsNullLiteralHelper(set<string>())> eq2; // ok in Fn()
26 EqHelper<sizeof IsNullLiteralHelper(set<string>{"foo"})> eq3; // error in Fn()
|
| /dports/lang/gcc48/gcc-4.8.5/gcc/testsuite/g++.dg/cpp0x/ |
| H A D | initlist70.C | 19 template <size_t> struct EqHelper { }; struct
24 EqHelper<sizeof IsNullLiteralHelper(set<int>{1})> eq1; // ok in Fn()
25 EqHelper<sizeof IsNullLiteralHelper(set<string>())> eq2; // ok in Fn()
26 EqHelper<sizeof IsNullLiteralHelper(set<string>{"foo"})> eq3; // error in Fn()
|
| /dports/lang/gcc11/gcc-11.2.0/gcc/testsuite/g++.dg/cpp0x/ |
| H A D | initlist70.C | 19 template <size_t> struct EqHelper { }; struct
24 EqHelper<sizeof IsNullLiteralHelper(set<int>{1})> eq1; // ok in Fn()
25 EqHelper<sizeof IsNullLiteralHelper(set<string>())> eq2; // ok in Fn()
26 EqHelper<sizeof IsNullLiteralHelper(set<string>{"foo"})> eq3; // error in Fn()
|
| /dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/testsuite/g++.dg/cpp0x/ |
| H A D | initlist70.C | 19 template <size_t> struct EqHelper { }; struct
24 EqHelper<sizeof IsNullLiteralHelper(set<int>{1})> eq1; // ok in Fn()
25 EqHelper<sizeof IsNullLiteralHelper(set<string>())> eq2; // ok in Fn()
26 EqHelper<sizeof IsNullLiteralHelper(set<string>{"foo"})> eq3; // error in Fn()
|
| /dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/testsuite/g++.dg/cpp0x/ |
| H A D | initlist70.C | 19 template <size_t> struct EqHelper { }; struct
24 EqHelper<sizeof IsNullLiteralHelper(set<int>{1})> eq1; // ok in Fn()
25 EqHelper<sizeof IsNullLiteralHelper(set<string>())> eq2; // ok in Fn()
26 EqHelper<sizeof IsNullLiteralHelper(set<string>{"foo"})> eq3; // error in Fn()
|
| /dports/lang/gcc9-aux/gcc-9.1.0/gcc/testsuite/g++.dg/cpp0x/ |
| H A D | initlist70.C | 19 template <size_t> struct EqHelper { }; struct
24 EqHelper<sizeof IsNullLiteralHelper(set<int>{1})> eq1; // ok in Fn()
25 EqHelper<sizeof IsNullLiteralHelper(set<string>())> eq2; // ok in Fn()
26 EqHelper<sizeof IsNullLiteralHelper(set<string>{"foo"})> eq3; // error in Fn()
|
| /dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/testsuite/g++.dg/cpp0x/ |
| H A D | initlist70.C | 19 template <size_t> struct EqHelper { }; struct
24 EqHelper<sizeof IsNullLiteralHelper(set<int>{1})> eq1; // ok in Fn()
25 EqHelper<sizeof IsNullLiteralHelper(set<string>())> eq2; // ok in Fn()
26 EqHelper<sizeof IsNullLiteralHelper(set<string>{"foo"})> eq3; // error in Fn()
|
| /dports/lang/gcc10/gcc-10.3.0/gcc/testsuite/g++.dg/cpp0x/ |
| H A D | initlist70.C | 19 template <size_t> struct EqHelper { }; struct
24 EqHelper<sizeof IsNullLiteralHelper(set<int>{1})> eq1; // ok in Fn()
25 EqHelper<sizeof IsNullLiteralHelper(set<string>())> eq2; // ok in Fn()
26 EqHelper<sizeof IsNullLiteralHelper(set<string>{"foo"})> eq3; // error in Fn()
|
| /dports/devel/riscv32-unknown-elf-gcc/gcc-8.4.0/gcc/testsuite/g++.dg/cpp0x/ |
| H A D | initlist70.C | 19 template <size_t> struct EqHelper { }; struct
24 EqHelper<sizeof IsNullLiteralHelper(set<int>{1})> eq1; // ok in Fn()
25 EqHelper<sizeof IsNullLiteralHelper(set<string>())> eq2; // ok in Fn()
26 EqHelper<sizeof IsNullLiteralHelper(set<string>{"foo"})> eq3; // error in Fn()
|
| /dports/lang/gcc9-devel/gcc-9-20211007/gcc/testsuite/g++.dg/cpp0x/ |
| H A D | initlist70.C | 19 template <size_t> struct EqHelper { }; struct
24 EqHelper<sizeof IsNullLiteralHelper(set<int>{1})> eq1; // ok in Fn()
25 EqHelper<sizeof IsNullLiteralHelper(set<string>())> eq2; // ok in Fn()
26 EqHelper<sizeof IsNullLiteralHelper(set<string>{"foo"})> eq3; // error in Fn()
|
| /dports/lang/gcc11-devel/gcc-11-20211009/gcc/testsuite/g++.dg/cpp0x/ |
| H A D | initlist70.C | 19 template <size_t> struct EqHelper { }; struct
24 EqHelper<sizeof IsNullLiteralHelper(set<int>{1})> eq1; // ok in Fn()
25 EqHelper<sizeof IsNullLiteralHelper(set<string>())> eq2; // ok in Fn()
26 EqHelper<sizeof IsNullLiteralHelper(set<string>{"foo"})> eq3; // error in Fn()
|
| /dports/lang/gcc8/gcc-8.5.0/gcc/testsuite/g++.dg/cpp0x/ |
| H A D | initlist70.C | 19 template <size_t> struct EqHelper { }; struct
24 EqHelper<sizeof IsNullLiteralHelper(set<int>{1})> eq1; // ok in Fn()
25 EqHelper<sizeof IsNullLiteralHelper(set<string>())> eq2; // ok in Fn()
26 EqHelper<sizeof IsNullLiteralHelper(set<string>{"foo"})> eq3; // error in Fn()
|
| /dports/lang/gcc10-devel/gcc-10-20211008/gcc/testsuite/g++.dg/cpp0x/ |
| H A D | initlist70.C | 19 template <size_t> struct EqHelper { }; struct
24 EqHelper<sizeof IsNullLiteralHelper(set<int>{1})> eq1; // ok in Fn()
25 EqHelper<sizeof IsNullLiteralHelper(set<string>())> eq2; // ok in Fn()
26 EqHelper<sizeof IsNullLiteralHelper(set<string>{"foo"})> eq3; // error in Fn()
|
| /dports/devel/mingw32-gcc/gcc-4.8.1/gcc/testsuite/g++.dg/cpp0x/ |
| H A D | initlist70.C | 19 template <size_t> struct EqHelper { }; struct
24 EqHelper<sizeof IsNullLiteralHelper(set<int>{1})> eq1; // ok in Fn()
25 EqHelper<sizeof IsNullLiteralHelper(set<string>())> eq2; // ok in Fn()
26 EqHelper<sizeof IsNullLiteralHelper(set<string>{"foo"})> eq3; // error in Fn()
|
| /dports/math/vampire/vampire-4.5.1/Kernel/ |
| H A D | EqHelper.cpp | 41 TermList EqHelper::getOtherEqualitySide(Literal* eq, TermList lhs) in getOtherEqualitySide()
53 bool EqHelper::hasGreaterEqualitySide(Literal* eq, const Ordering& ord, TermList& lhs, TermList& rh… in hasGreaterEqualitySide()
80 Literal* EqHelper::replace(Literal* lit, TermList what, TermList by) in replace()
91 Term* EqHelper::replace(Term* trm0, TermList tSrc, TermList tDest) in replace()
179 TermIterator EqHelper::getRewritableSubtermIterator(Literal* lit, const Ordering& ord) in getRewritableSubtermIterator()
222 TermIterator EqHelper::getLHSIterator(Literal* lit, const Ordering& ord) in getLHSIterator()
259 struct EqHelper::IsNonVariable
272 TermIterator EqHelper::getSuperpositionLHSIterator(Literal* lit, const Ordering& ord, const Options… in getSuperpositionLHSIterator()
290 TermIterator EqHelper::getDemodulationLHSIterator(Literal* lit, bool forward, const Ordering& ord, … in getDemodulationLHSIterator()
339 TermIterator EqHelper::getEqualityArgumentIterator(Literal* lit) in getEqualityArgumentIterator()
|
| /dports/math/vampire/vampire-4.5.1/Inferences/ |
| H A D | InnerRewriting.cpp | 47 …if (rwLit->isEquality() && rwLit->isNegative() && EqHelper::hasGreaterEqualitySide(rwLit,ordering,… in perform()
51 Literal* nLit = EqHelper::replace(lit,lhs,rhs); in perform()
53 if(EqHelper::isEqTautology(nLit)) { in perform()
69 Literal* rLit = EqHelper::replace(oLit,lhs,rhs); in perform()
70 if(EqHelper::isEqTautology(rLit)) { in perform()
|
| H A D | BackwardDemodulation.cpp | 139 TermList rhs=EqHelper::getOtherEqualitySide(_eqLit, lhs); in operator ()()
168 TermList other=EqHelper::getOtherEqualitySide(qr.literal, qr.term); in operator ()()
197 Literal* resLit=EqHelper::replace(qr.literal,lhsS,rhsS); in operator ()()
198 if(EqHelper::isEqTautology(resLit)) { in operator ()()
249 EqHelper::getDemodulationLHSIterator(lit, false, _salg->getOrdering(), _salg->getOptions()), in perform()
|
| /dports/lang/gcc6-aux/gcc-6-20180516/gcc/testsuite/g++.dg/ext/ |
| H A D | pr53605.C | 7 class EqHelper {
15 ::EqHelper<false>::Compare(kData, "abc"); in foo()
|