| /dports/devel/hyperscan/boost_1_75_0/libs/json/test/ |
| H A D | parse-vectors.hpp | 53 lit(char const (&s)[N]) in lit() function
152 { 'n', "fail16", lit("[\\naked]") }, in parse_vectors()
164 { 'n', "fail29", lit("[0e]") }, in parse_vectors()
165 { 'n', "fail30", lit("[0e+]") }, in parse_vectors()
166 { 'n', "fail31", lit("[0e+-1]") }, in parse_vectors()
173 { 'n', "number_+1", lit("[+1]") }, in parse_vectors()
175 { 'n', "number_-01", lit("[-01]") }, in parse_vectors()
177 { 'n', "number_-2.", lit("[-2.]") }, in parse_vectors()
179 { 'n', "number_.-1", lit("[.-1]") }, in parse_vectors()
186 { 'n', "number_0e", lit("[0e]") }, in parse_vectors()
[all …]
|
| /dports/devel/splint/splint-3.1.2/src/ |
| H A D | lltok.c | 156 char *lit; in lltok_unparse() local
164 case DO: lit = "do"; break; in lltok_unparse()
202 case TSEMI: lit = ";"; break; in lltok_unparse()
203 case TLBRACE: lit = "{"; break; in lltok_unparse()
204 case TRBRACE: lit = "}"; break; in lltok_unparse()
205 case TCOMMA: lit = ","; break; in lltok_unparse()
206 case TCOLON: lit = ":"; break; in lltok_unparse()
207 case TASSIGN: lit = "="; break; in lltok_unparse()
208 case TLPAREN: lit = "("; break; in lltok_unparse()
209 case TRPAREN: lit = ")"; break; in lltok_unparse()
[all …]
|
| H A D | mttok.c | 35 char *lit; in mttok_unparse() local
44 case MT_AS: lit = "as"; break; in mttok_unparse()
69 case MT_COMMA: lit =","; break; in mttok_unparse()
71 case MT_CHAR: lit = "char"; break; in mttok_unparse()
72 case MT_INT: lit = "int"; break; in mttok_unparse()
73 case MT_FLOAT: lit = "float"; break; in mttok_unparse()
74 case MT_DOUBLE: lit = "double"; break; in mttok_unparse()
75 case MT_VOID: lit = "void"; break; in mttok_unparse()
76 case MT_ANYTYPE: lit = "anytype"; break; in mttok_unparse()
80 case MT_CONST: lit = "const"; break; in mttok_unparse()
[all …]
|
| /dports/math/clingo/clingo-5.5.1/examples/clingo/planning/instances/ |
| H A D | comm05.lp | 317 initially(lit(cpa_ok(cpa_p5),-1)).
320 initially(lit(cpa_ok(cpa_p4),-1)).
324 initially(lit(cpa_ok(cpa_p3),-1)).
328 initially(lit(cpa_ok(cpa_p2),-1)).
332 initially(lit(cpa_ok(cpa_p1),-1)).
353 goal(lit(cpa_ok(cpa_p0),1)).
354 goal(lit(cpa_ok(cpa_p1),1)).
355 goal(lit(cpa_ok(cpa_p2),1)).
356 goal(lit(cpa_ok(cpa_p3),1)).
357 goal(lit(cpa_ok(cpa_p4),1)).
[all …]
|
| H A D | comm03.lp | 202 initially(lit(cpa_bad(cpa_p3),-1)).
203 initially(lit(cpa_ok(cpa_p3),-1)).
205 initially(lit(cpa_bad(cpa_p2),-1)).
206 initially(lit(cpa_ok(cpa_p2),-1)).
209 initially(lit(cpa_bad(cpa_p1),-1)).
210 initially(lit(cpa_ok(cpa_p1),-1)).
214 initially(lit(cpa_ok(cpa_p0),-1)).
227 goal(lit(cpa_ok(cpa_p0),1)).
228 goal(lit(cpa_ok(cpa_p1),1)).
229 goal(lit(cpa_ok(cpa_p2),1)).
[all …]
|
| H A D | comm02.lp | 151 initially(lit(cpa_bad(cpa_p2),-1)).
152 initially(lit(cpa_ok(cpa_p2),-1)).
154 initially(lit(cpa_bad(cpa_p1),-1)).
155 initially(lit(cpa_ok(cpa_p1),-1)).
157 initially(lit(cpa_read(cpa_p2),-1)).
158 initially(lit(cpa_bad(cpa_p0),-1)).
159 initially(lit(cpa_ok(cpa_p0),-1)).
161 initially(lit(cpa_read(cpa_p1),-1)).
170 goal(lit(cpa_ok(cpa_p0),1)).
171 goal(lit(cpa_ok(cpa_p1),1)).
[all …]
|
| /dports/devel/boost-docs/boost_1_72_0/libs/spirit/test/qi/ |
| H A D | int2.cpp | 22 using boost::spirit::lit; in main()
26 BOOST_TEST(!test("123456", lit(0))); in main()
27 BOOST_TEST( test("123456", lit(i))); in main()
28 BOOST_TEST(!test("123456", lit(-i))); in main()
29 BOOST_TEST( test("+425", lit(425))); in main()
30 BOOST_TEST(!test("+425", lit(17))); in main()
39 BOOST_TEST(!test("-", lit(8451))); in main()
40 BOOST_TEST(!test("+", lit(8451))); in main()
51 using boost::spirit::lit; in main()
72 using boost::spirit::lit; in main()
[all …]
|
| /dports/databases/mysqlwsrep57-server/boost_1_59_0/libs/spirit/test/qi/ |
| H A D | int2.cpp | 22 using boost::spirit::lit; in main()
26 BOOST_TEST(!test("123456", lit(0))); in main()
27 BOOST_TEST( test("123456", lit(i))); in main()
28 BOOST_TEST(!test("123456", lit(-i))); in main()
29 BOOST_TEST( test("+425", lit(425))); in main()
30 BOOST_TEST(!test("+425", lit(17))); in main()
39 BOOST_TEST(!test("-", lit(8451))); in main()
40 BOOST_TEST(!test("+", lit(8451))); in main()
51 using boost::spirit::lit; in main()
72 using boost::spirit::lit; in main()
[all …]
|
| /dports/databases/percona57-pam-for-mysql/boost_1_59_0/libs/spirit/test/qi/ |
| H A D | int2.cpp | 22 using boost::spirit::lit; in main()
26 BOOST_TEST(!test("123456", lit(0))); in main()
27 BOOST_TEST( test("123456", lit(i))); in main()
28 BOOST_TEST(!test("123456", lit(-i))); in main()
29 BOOST_TEST( test("+425", lit(425))); in main()
30 BOOST_TEST(!test("+425", lit(17))); in main()
39 BOOST_TEST(!test("-", lit(8451))); in main()
40 BOOST_TEST(!test("+", lit(8451))); in main()
51 using boost::spirit::lit; in main()
72 using boost::spirit::lit; in main()
[all …]
|
| /dports/databases/percona57-server/boost_1_59_0/libs/spirit/test/qi/ |
| H A D | int2.cpp | 22 using boost::spirit::lit; in main()
26 BOOST_TEST(!test("123456", lit(0))); in main()
27 BOOST_TEST( test("123456", lit(i))); in main()
28 BOOST_TEST(!test("123456", lit(-i))); in main()
29 BOOST_TEST( test("+425", lit(425))); in main()
30 BOOST_TEST(!test("+425", lit(17))); in main()
39 BOOST_TEST(!test("-", lit(8451))); in main()
40 BOOST_TEST(!test("+", lit(8451))); in main()
51 using boost::spirit::lit; in main()
72 using boost::spirit::lit; in main()
[all …]
|
| /dports/databases/xtrabackup/boost_1_59_0/libs/spirit/test/qi/ |
| H A D | int2.cpp | 22 using boost::spirit::lit; in main()
26 BOOST_TEST(!test("123456", lit(0))); in main()
27 BOOST_TEST( test("123456", lit(i))); in main()
28 BOOST_TEST(!test("123456", lit(-i))); in main()
29 BOOST_TEST( test("+425", lit(425))); in main()
30 BOOST_TEST(!test("+425", lit(17))); in main()
39 BOOST_TEST(!test("-", lit(8451))); in main()
40 BOOST_TEST(!test("+", lit(8451))); in main()
51 using boost::spirit::lit; in main()
72 using boost::spirit::lit; in main()
[all …]
|
| /dports/databases/percona57-client/boost_1_59_0/libs/spirit/test/qi/ |
| H A D | int2.cpp | 22 using boost::spirit::lit; in main()
26 BOOST_TEST(!test("123456", lit(0))); in main()
27 BOOST_TEST( test("123456", lit(i))); in main()
28 BOOST_TEST(!test("123456", lit(-i))); in main()
29 BOOST_TEST( test("+425", lit(425))); in main()
30 BOOST_TEST(!test("+425", lit(17))); in main()
39 BOOST_TEST(!test("-", lit(8451))); in main()
40 BOOST_TEST(!test("+", lit(8451))); in main()
51 using boost::spirit::lit; in main()
72 using boost::spirit::lit; in main()
[all …]
|
| /dports/devel/boost-libs/boost_1_72_0/libs/spirit/test/qi/ |
| H A D | int2.cpp | 22 using boost::spirit::lit; in main()
26 BOOST_TEST(!test("123456", lit(0))); in main()
27 BOOST_TEST( test("123456", lit(i))); in main()
28 BOOST_TEST(!test("123456", lit(-i))); in main()
29 BOOST_TEST( test("+425", lit(425))); in main()
30 BOOST_TEST(!test("+425", lit(17))); in main()
39 BOOST_TEST(!test("-", lit(8451))); in main()
40 BOOST_TEST(!test("+", lit(8451))); in main()
51 using boost::spirit::lit; in main()
72 using boost::spirit::lit; in main()
[all …]
|
| /dports/devel/boost-python-libs/boost_1_72_0/libs/spirit/test/qi/ |
| H A D | int2.cpp | 22 using boost::spirit::lit; in main()
26 BOOST_TEST(!test("123456", lit(0))); in main()
27 BOOST_TEST( test("123456", lit(i))); in main()
28 BOOST_TEST(!test("123456", lit(-i))); in main()
29 BOOST_TEST( test("+425", lit(425))); in main()
30 BOOST_TEST(!test("+425", lit(17))); in main()
39 BOOST_TEST(!test("-", lit(8451))); in main()
40 BOOST_TEST(!test("+", lit(8451))); in main()
51 using boost::spirit::lit; in main()
72 using boost::spirit::lit; in main()
[all …]
|
| /dports/devel/hyperscan/boost_1_75_0/libs/spirit/test/qi/ |
| H A D | int2.cpp | 22 using boost::spirit::lit; in main()
26 BOOST_TEST(!test("123456", lit(0))); in main()
27 BOOST_TEST( test("123456", lit(i))); in main()
28 BOOST_TEST(!test("123456", lit(-i))); in main()
29 BOOST_TEST( test("+425", lit(425))); in main()
30 BOOST_TEST(!test("+425", lit(17))); in main()
39 BOOST_TEST(!test("-", lit(8451))); in main()
40 BOOST_TEST(!test("+", lit(8451))); in main()
51 using boost::spirit::lit; in main()
72 using boost::spirit::lit; in main()
[all …]
|
| /dports/astro/p5-Astro-satpass/Astro-satpass-0.122/t/ |
| H A D | tle_pass.t | 138 1980/10/15 05:27:33 4.7 212.0 1220.0 lit lit
145 1980/10/16 05:22:20 14.8 228.1 701.8 lit lit
152 1980/10/17 05:16:45 28.6 273.8 433.1 lit lit
160 1980/10/18 05:10:50 22.3 327.2 537.6 lit lit
201 1980/10/15 05:27:33 4.7 212.0 1220.0 lit lit
243 1980/10/15 05:27:33 4.7 212.0 1220.0 lit lit
249 1980/10/16 05:22:20 14.8 228.1 701.8 lit lit
255 1980/10/17 05:16:45 28.6 273.8 433.1 lit lit
261 1980/10/18 05:10:50 22.3 327.2 537.6 lit lit
300 1980/10/15 05:27:33 4.7 212.0 1220.0 lit lit
[all …]
|
| H A D | tle_pass_extra.t | 403 2011/05/19 09:12:10 13.4 138.2 1109.8 lit lit
412 2011/05/20 09:35:31 50.6 226.9 437.4 lit lit
471 2011/05/19 09:12:10 13.4 138.2 1109.8 lit lit
482 2011/05/20 09:35:31 50.6 226.9 437.4 lit lit
562 2011/05/31 11:19:47 26.8 295.3 1407.6 lit lit
735 2011/05/30 14:14:05 23.7 263.3 1601.3 lit lit
736 2011/05/30 14:14:06 23.7 263.6 1601.3 lit
737 2011/05/30 14:14:07 23.7 263.9 1601.4 lit
738 2011/05/30 14:14:08 23.6 264.2 1601.5 lit
739 2011/05/30 14:14:09 23.6 264.5 1601.6 lit
[all …]
|
| /dports/math/cadical/cadical-1.0.3-cb89cbf/src/ |
| H A D | internal.hpp | 239 bool active (int lit) { return flags(lit).active (); } in active()
276 assert (lit), assert (lit != INT_MIN); in vidx()
286 unsigned vlit (int lit) { return (lit < 0) + 2u * (unsigned) vidx (lit); } in vlit()
298 Var & var (int lit) { return vtab[vidx (lit)]; } in var()
300 Flags & flags (int lit) { return ftab[vidx (lit)]; } in flags()
301 int64_t & bumped (int lit) { return btab[vidx (lit)]; } in bumped()
302 int & propfixed (int lit) { return ptab[vlit (lit)]; } in propfixed()
333 marks[vidx (lit)] = sign (lit); in mark()
355 marks[vidx (lit)] |= bign (lit); in mark2()
913 assert (-max_var <= lit), assert (lit), assert (lit <= max_var); in val()
[all …]
|
| /dports/devel/boost-docs/boost_1_72_0/libs/log/test/run/ |
| H A D | util_string_literal.cpp | 75 lit = "Hello"; in BOOST_AUTO_TEST_CASE()
79 lit = empty_lit; in BOOST_AUTO_TEST_CASE()
83 lit = filled_lit; in BOOST_AUTO_TEST_CASE()
92 lit.assign("Hello"); in BOOST_AUTO_TEST_CASE()
109 BOOST_CHECK(lit == ""); in BOOST_AUTO_TEST_CASE()
111 lit = "abcdefg"; in BOOST_AUTO_TEST_CASE()
117 BOOST_CHECK(lit != lit2); in BOOST_AUTO_TEST_CASE()
119 BOOST_CHECK(lit == lit2); in BOOST_AUTO_TEST_CASE()
153 std::copy(lit.begin(), lit.end(), std::back_inserter(str)); in BOOST_AUTO_TEST_CASE()
157 std::copy(lit.rbegin(), lit.rend(), std::back_inserter(str)); in BOOST_AUTO_TEST_CASE()
[all …]
|
| /dports/devel/boost-python-libs/boost_1_72_0/libs/log/test/run/ |
| H A D | util_string_literal.cpp | 75 lit = "Hello"; in BOOST_AUTO_TEST_CASE()
79 lit = empty_lit; in BOOST_AUTO_TEST_CASE()
83 lit = filled_lit; in BOOST_AUTO_TEST_CASE()
92 lit.assign("Hello"); in BOOST_AUTO_TEST_CASE()
109 BOOST_CHECK(lit == ""); in BOOST_AUTO_TEST_CASE()
111 lit = "abcdefg"; in BOOST_AUTO_TEST_CASE()
117 BOOST_CHECK(lit != lit2); in BOOST_AUTO_TEST_CASE()
119 BOOST_CHECK(lit == lit2); in BOOST_AUTO_TEST_CASE()
153 std::copy(lit.begin(), lit.end(), std::back_inserter(str)); in BOOST_AUTO_TEST_CASE()
157 std::copy(lit.rbegin(), lit.rend(), std::back_inserter(str)); in BOOST_AUTO_TEST_CASE()
[all …]
|
| /dports/databases/percona57-pam-for-mysql/boost_1_59_0/libs/log/test/run/ |
| H A D | util_string_literal.cpp | 73 lit = "Hello"; in BOOST_AUTO_TEST_CASE()
77 lit = empty_lit; in BOOST_AUTO_TEST_CASE()
81 lit = filled_lit; in BOOST_AUTO_TEST_CASE()
90 lit.assign("Hello"); in BOOST_AUTO_TEST_CASE()
107 BOOST_CHECK(lit == ""); in BOOST_AUTO_TEST_CASE()
109 lit = "abcdefg"; in BOOST_AUTO_TEST_CASE()
115 BOOST_CHECK(lit != lit2); in BOOST_AUTO_TEST_CASE()
117 BOOST_CHECK(lit == lit2); in BOOST_AUTO_TEST_CASE()
151 std::copy(lit.begin(), lit.end(), std::back_inserter(str)); in BOOST_AUTO_TEST_CASE()
155 std::copy(lit.rbegin(), lit.rend(), std::back_inserter(str)); in BOOST_AUTO_TEST_CASE()
[all …]
|
| /dports/databases/percona57-server/boost_1_59_0/libs/log/test/run/ |
| H A D | util_string_literal.cpp | 73 lit = "Hello"; in BOOST_AUTO_TEST_CASE()
77 lit = empty_lit; in BOOST_AUTO_TEST_CASE()
81 lit = filled_lit; in BOOST_AUTO_TEST_CASE()
90 lit.assign("Hello"); in BOOST_AUTO_TEST_CASE()
107 BOOST_CHECK(lit == ""); in BOOST_AUTO_TEST_CASE()
109 lit = "abcdefg"; in BOOST_AUTO_TEST_CASE()
115 BOOST_CHECK(lit != lit2); in BOOST_AUTO_TEST_CASE()
117 BOOST_CHECK(lit == lit2); in BOOST_AUTO_TEST_CASE()
151 std::copy(lit.begin(), lit.end(), std::back_inserter(str)); in BOOST_AUTO_TEST_CASE()
155 std::copy(lit.rbegin(), lit.rend(), std::back_inserter(str)); in BOOST_AUTO_TEST_CASE()
[all …]
|
| /dports/databases/xtrabackup/boost_1_59_0/libs/log/test/run/ |
| H A D | util_string_literal.cpp | 73 lit = "Hello"; in BOOST_AUTO_TEST_CASE()
77 lit = empty_lit; in BOOST_AUTO_TEST_CASE()
81 lit = filled_lit; in BOOST_AUTO_TEST_CASE()
90 lit.assign("Hello"); in BOOST_AUTO_TEST_CASE()
107 BOOST_CHECK(lit == ""); in BOOST_AUTO_TEST_CASE()
109 lit = "abcdefg"; in BOOST_AUTO_TEST_CASE()
115 BOOST_CHECK(lit != lit2); in BOOST_AUTO_TEST_CASE()
117 BOOST_CHECK(lit == lit2); in BOOST_AUTO_TEST_CASE()
151 std::copy(lit.begin(), lit.end(), std::back_inserter(str)); in BOOST_AUTO_TEST_CASE()
155 std::copy(lit.rbegin(), lit.rend(), std::back_inserter(str)); in BOOST_AUTO_TEST_CASE()
[all …]
|
| /dports/databases/percona57-client/boost_1_59_0/libs/log/test/run/ |
| H A D | util_string_literal.cpp | 73 lit = "Hello"; in BOOST_AUTO_TEST_CASE()
77 lit = empty_lit; in BOOST_AUTO_TEST_CASE()
81 lit = filled_lit; in BOOST_AUTO_TEST_CASE()
90 lit.assign("Hello"); in BOOST_AUTO_TEST_CASE()
107 BOOST_CHECK(lit == ""); in BOOST_AUTO_TEST_CASE()
109 lit = "abcdefg"; in BOOST_AUTO_TEST_CASE()
115 BOOST_CHECK(lit != lit2); in BOOST_AUTO_TEST_CASE()
117 BOOST_CHECK(lit == lit2); in BOOST_AUTO_TEST_CASE()
151 std::copy(lit.begin(), lit.end(), std::back_inserter(str)); in BOOST_AUTO_TEST_CASE()
155 std::copy(lit.rbegin(), lit.rend(), std::back_inserter(str)); in BOOST_AUTO_TEST_CASE()
[all …]
|
| /dports/devel/boost-libs/boost_1_72_0/libs/log/test/run/ |
| H A D | util_string_literal.cpp | 75 lit = "Hello"; in BOOST_AUTO_TEST_CASE()
79 lit = empty_lit; in BOOST_AUTO_TEST_CASE()
83 lit = filled_lit; in BOOST_AUTO_TEST_CASE()
92 lit.assign("Hello"); in BOOST_AUTO_TEST_CASE()
109 BOOST_CHECK(lit == ""); in BOOST_AUTO_TEST_CASE()
111 lit = "abcdefg"; in BOOST_AUTO_TEST_CASE()
117 BOOST_CHECK(lit != lit2); in BOOST_AUTO_TEST_CASE()
119 BOOST_CHECK(lit == lit2); in BOOST_AUTO_TEST_CASE()
153 std::copy(lit.begin(), lit.end(), std::back_inserter(str)); in BOOST_AUTO_TEST_CASE()
157 std::copy(lit.rbegin(), lit.rend(), std::back_inserter(str)); in BOOST_AUTO_TEST_CASE()
[all …]
|