| /dports/math/abella/abella-2.0.7/examples/process-calculi/pic/ |
| H A D | pic_bisim.thm | 35 clear Right1 Right2 Right3 Right4 Right5 Right6.
50 clear Right1 Right2 Right3 Right4 Right5 Right6.
70 Right1 : case Right. Qstep : apply Right3 to *Sstep.
71 clear Right1 Right2 Right3 Right4 Right5 Right6.
82 clear Right1 Right2 Right3 Right4 Right5 Right6.
97 clear Right1 Right2 Right3 Right4 Right5 Right6.
118 clear Right1 Right2 Right3 Right4 Right5 Right6.
|
| /dports/devel/llvm70/llvm-7.0.1.src/tools/clang/test/Analysis/ |
| H A D | cxx-uninitialized-object-inheritance.cpp | 382 struct Right3 { struct
384 Right3() = default; argument
385 Right3(int) : y(40) {} in Right3() function
388 class MultipleInheritanceTest3 : public Left3, public Right3 {
393 : Right3(char{}) { in MultipleInheritanceTest3()
|
| /dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/clang/test/Analysis/ |
| H A D | cxx-uninitialized-object-inheritance.cpp | 385 struct Right3 { struct
387 Right3() = default; argument
388 Right3(int) : y(40) {} in Right3() function
391 class MultipleInheritanceTest3 : public Left3, public Right3 {
396 : Right3(char{}) { in MultipleInheritanceTest3()
|
| /dports/devel/tinygo/tinygo-0.14.1/llvm-project/clang/test/Analysis/ |
| H A D | cxx-uninitialized-object-inheritance.cpp | 385 struct Right3 { struct
387 Right3() = default; argument
388 Right3(int) : y(40) {} in Right3() argument
391 class MultipleInheritanceTest3 : public Left3, public Right3 {
396 : Right3(char{}) { in MultipleInheritanceTest3()
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/clang/test/Analysis/ |
| H A D | cxx-uninitialized-object-inheritance.cpp | 385 struct Right3 { struct
387 Right3() = default; argument
388 Right3(int) : y(40) {} in Right3() argument
391 class MultipleInheritanceTest3 : public Left3, public Right3 {
396 : Right3(char{}) { in MultipleInheritanceTest3()
|
| /dports/devel/wasi-libcxx/llvm-project-13.0.1.src/clang/test/Analysis/ |
| H A D | cxx-uninitialized-object-inheritance.cpp | 385 struct Right3 { struct
387 Right3() = default; argument
388 Right3(int) : y(40) {} in Right3() argument
391 class MultipleInheritanceTest3 : public Left3, public Right3 {
396 : Right3(char{}) { in MultipleInheritanceTest3()
|
| /dports/devel/llvm12/llvm-project-12.0.1.src/clang/test/Analysis/ |
| H A D | cxx-uninitialized-object-inheritance.cpp | 385 struct Right3 { struct
387 Right3() = default; argument
388 Right3(int) : y(40) {} in Right3() function
391 class MultipleInheritanceTest3 : public Left3, public Right3 {
396 : Right3(char{}) { in MultipleInheritanceTest3()
|
| /dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/clang/test/Analysis/ |
| H A D | cxx-uninitialized-object-inheritance.cpp | 385 struct Right3 { struct
387 Right3() = default; argument
388 Right3(int) : y(40) {} in Right3() argument
391 class MultipleInheritanceTest3 : public Left3, public Right3 {
396 : Right3(char{}) { in MultipleInheritanceTest3()
|
| /dports/devel/llvm90/llvm-9.0.1.src/tools/clang/test/Analysis/ |
| H A D | cxx-uninitialized-object-inheritance.cpp | 385 struct Right3 { struct
387 Right3() = default; argument
388 Right3(int) : y(40) {} in Right3() function
391 class MultipleInheritanceTest3 : public Left3, public Right3 {
396 : Right3(char{}) { in MultipleInheritanceTest3()
|
| /dports/devel/llvm10/llvm-10.0.1.src/tools/clang/test/Analysis/ |
| H A D | cxx-uninitialized-object-inheritance.cpp | 385 struct Right3 { struct
387 Right3() = default; argument
388 Right3(int) : y(40) {} in Right3() function
391 class MultipleInheritanceTest3 : public Left3, public Right3 {
396 : Right3(char{}) { in MultipleInheritanceTest3()
|
| /dports/devel/llvm11/llvm-11.0.1.src/tools/clang/test/Analysis/ |
| H A D | cxx-uninitialized-object-inheritance.cpp | 385 struct Right3 { struct
387 Right3() = default; argument
388 Right3(int) : y(40) {} in Right3() argument
391 class MultipleInheritanceTest3 : public Left3, public Right3 {
396 : Right3(char{}) { in MultipleInheritanceTest3()
|
| /dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/clang/test/Analysis/ |
| H A D | cxx-uninitialized-object-inheritance.cpp | 385 struct Right3 { struct
387 Right3() = default; argument
388 Right3(int) : y(40) {} in Right3() function
391 class MultipleInheritanceTest3 : public Left3, public Right3 {
396 : Right3(char{}) { in MultipleInheritanceTest3()
|
| /dports/lang/rust/rustc-1.58.1-src/src/llvm-project/clang/test/Analysis/ |
| H A D | cxx-uninitialized-object-inheritance.cpp | 385 struct Right3 { struct
387 Right3() = default; argument
388 Right3(int) : y(40) {} in Right3() argument
391 class MultipleInheritanceTest3 : public Left3, public Right3 {
396 : Right3(char{}) { in MultipleInheritanceTest3()
|
| /dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/clang/test/Analysis/ |
| H A D | cxx-uninitialized-object-inheritance.cpp | 385 struct Right3 { struct
387 Right3() = default; argument
388 Right3(int) : y(40) {} in Right3() function
391 class MultipleInheritanceTest3 : public Left3, public Right3 {
396 : Right3(char{}) { in MultipleInheritanceTest3()
|
| /dports/devel/llvm13/llvm-project-13.0.1.src/clang/test/Analysis/ |
| H A D | cxx-uninitialized-object-inheritance.cpp | 385 struct Right3 { struct
387 Right3() = default; argument
388 Right3(int) : y(40) {} in Right3() function
391 class MultipleInheritanceTest3 : public Left3, public Right3 {
396 : Right3(char{}) { in MultipleInheritanceTest3()
|
| /dports/devel/llvm80/llvm-8.0.1.src/tools/clang/test/Analysis/ |
| H A D | cxx-uninitialized-object-inheritance.cpp | 385 struct Right3 { struct
387 Right3() = default; argument
388 Right3(int) : y(40) {} in Right3() argument
391 class MultipleInheritanceTest3 : public Left3, public Right3 {
396 : Right3(char{}) { in MultipleInheritanceTest3()
|
| /dports/lang/clang-mesa/clang-13.0.1.src/test/Analysis/ |
| H A D | cxx-uninitialized-object-inheritance.cpp | 385 struct Right3 { struct
387 Right3() = default; argument
388 Right3(int) : y(40) {} in Right3() argument
391 class MultipleInheritanceTest3 : public Left3, public Right3 {
396 : Right3(char{}) { in MultipleInheritanceTest3()
|
| /dports/math/abella/abella-2.0.7/examples/process-calculi/ccs/ |
| H A D | ccs_bisim.thm | 35 Link : apply bisim_transitive_ to Link1 Right3.
44 case Left3. case Right3.
|
| /dports/www/geneweb/geneweb-13c850a0cc3973daf7ae3e0772a1621f84052041/ged2gwb/ |
| H A D | ged2gwb2.ml | 64 | Right3 of 'b and 'c and 'd ]
1424 | Right3 p a u ->
1437 | Right3 per asc uni ->
1979 | Right3 p a u ->
1989 | Right3 p a u ->
2129 | Right3 p a u ->
2292 [ Right3 p a u ->
2343 [ (Right3 pfath _ _, Right3 p a u) ->
2372 [ Right3 _ _ _ -> ()
2382 [ Right3 _ _ _ -> ()
[all …]
|
| /dports/print/foomatic-db/foomatic-db-20210822/db/source/PPD/Lanier/PS/ |
| H A D | Lanier-LP550C_SPC821DN_PS.ppd | 927 *RIPunch Right3/3 at right: "<< /Punch 2
2369 *UIConstraints: *MediaType Labels *RIPunch Right3
2379 *UIConstraints: *MediaType Coated *RIPunch Right3
2399 *UIConstraints: *MediaType OHP *RIPunch Right3
2409 *UIConstraints: *MediaType Thick *RIPunch Right3
2419 *UIConstraints: *MediaType Thick2 *RIPunch Right3
2429 *UIConstraints: *MediaType Thick3 *RIPunch Right3
2439 *UIConstraints: *MediaType Glossy *RIPunch Right3
2489 *UIConstraints: *RIPunch Right3 *MediaType Labels
2519 *UIConstraints: *RIPunch Right3 *MediaType OHP
[all …]
|
| H A D | Lanier-LP540C_SPC820DN_PS.ppd | 927 *RIPunch Right3/3 at right: "<< /Punch 2
2369 *UIConstraints: *MediaType Labels *RIPunch Right3
2379 *UIConstraints: *MediaType Coated *RIPunch Right3
2399 *UIConstraints: *MediaType OHP *RIPunch Right3
2409 *UIConstraints: *MediaType Thick *RIPunch Right3
2419 *UIConstraints: *MediaType Thick2 *RIPunch Right3
2429 *UIConstraints: *MediaType Thick3 *RIPunch Right3
2439 *UIConstraints: *MediaType Glossy *RIPunch Right3
2489 *UIConstraints: *RIPunch Right3 *MediaType Labels
2519 *UIConstraints: *RIPunch Right3 *MediaType OHP
[all …]
|
| /dports/print/foomatic-db/foomatic-db-20210822/db/source/PPD/Savin/PS/ |
| H A D | Savin-CLP350D_PS.ppd | 927 *RIPunch Right3/3 at right: "<< /Punch 2
2369 *UIConstraints: *MediaType Labels *RIPunch Right3
2379 *UIConstraints: *MediaType Coated *RIPunch Right3
2399 *UIConstraints: *MediaType OHP *RIPunch Right3
2409 *UIConstraints: *MediaType Thick *RIPunch Right3
2419 *UIConstraints: *MediaType Thick2 *RIPunch Right3
2429 *UIConstraints: *MediaType Thick3 *RIPunch Right3
2439 *UIConstraints: *MediaType Glossy *RIPunch Right3
2489 *UIConstraints: *RIPunch Right3 *MediaType Labels
2519 *UIConstraints: *RIPunch Right3 *MediaType OHP
[all …]
|
| /dports/print/foomatic-db/foomatic-db-20210822/db/source/PPD/Gestetner/PS/ |
| H A D | Gestetner-C8140ND_PS.ppd | 927 *RIPunch Right3/3 at right: "<< /Punch 2
2369 *UIConstraints: *MediaType Labels *RIPunch Right3
2379 *UIConstraints: *MediaType Coated *RIPunch Right3
2399 *UIConstraints: *MediaType OHP *RIPunch Right3
2409 *UIConstraints: *MediaType Thick *RIPunch Right3
2419 *UIConstraints: *MediaType Thick2 *RIPunch Right3
2429 *UIConstraints: *MediaType Thick3 *RIPunch Right3
2439 *UIConstraints: *MediaType Glossy *RIPunch Right3
2489 *UIConstraints: *RIPunch Right3 *MediaType Labels
2519 *UIConstraints: *RIPunch Right3 *MediaType OHP
[all …]
|
| H A D | Gestetner-C8150ND_PS.ppd | 927 *RIPunch Right3/3 at right: "<< /Punch 2
2369 *UIConstraints: *MediaType Labels *RIPunch Right3
2379 *UIConstraints: *MediaType Coated *RIPunch Right3
2399 *UIConstraints: *MediaType OHP *RIPunch Right3
2409 *UIConstraints: *MediaType Thick *RIPunch Right3
2419 *UIConstraints: *MediaType Thick2 *RIPunch Right3
2429 *UIConstraints: *MediaType Thick3 *RIPunch Right3
2439 *UIConstraints: *MediaType Glossy *RIPunch Right3
2489 *UIConstraints: *RIPunch Right3 *MediaType Labels
2519 *UIConstraints: *RIPunch Right3 *MediaType OHP
[all …]
|
| /dports/print/foomatic-db/foomatic-db-20210822/db/source/PPD/NRG/PS/ |
| H A D | NRG-SP_C821DN_PS.ppd | 927 *RIPunch Right3/3 at right: "<< /Punch 2
2369 *UIConstraints: *MediaType Labels *RIPunch Right3
2379 *UIConstraints: *MediaType Coated *RIPunch Right3
2399 *UIConstraints: *MediaType OHP *RIPunch Right3
2409 *UIConstraints: *MediaType Thick *RIPunch Right3
2419 *UIConstraints: *MediaType Thick2 *RIPunch Right3
2429 *UIConstraints: *MediaType Thick3 *RIPunch Right3
2439 *UIConstraints: *MediaType Glossy *RIPunch Right3
2489 *UIConstraints: *RIPunch Right3 *MediaType Labels
2519 *UIConstraints: *RIPunch Right3 *MediaType OHP
[all …]
|