/dports/math/abella/abella-2.0.7/examples/process-calculi/pic/ |
H A D | pic_bisim.thm | 31 clear Left1 Left2 Left3 Left4 Left5 Left6. 46 clear Left1 Left2 Left3 Left4 Left5 Left6. 67 clear Left1 Left2 Left3 Left4 Left5 Left6. 85 Left1 : case Left. Pstep : apply Left4 to *Rstep. 86 clear Left1 Left2 Left3 Left4 Left5 Left6. 101 clear Left1 Left2 Left3 Left4 Left5 Left6. 122 clear Left1 Left2 Left3 Left4 Left5 Left6.
|
/dports/devel/llvm70/llvm-7.0.1.src/tools/clang/test/Analysis/ |
H A D | cxx-uninitialized-object-inheritance.cpp | 402 struct Left4 { struct 404 Left4() = default; argument 405 Left4(int) : x(42) {} in Left4() argument 413 class MultipleInheritanceTest4 : public Left4, public Right4 { 418 : Left4(int{}), in MultipleInheritanceTest4()
|
/dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/clang/test/Analysis/ |
H A D | cxx-uninitialized-object-inheritance.cpp | 405 struct Left4 { struct 407 Left4() = default; argument 408 Left4(int) : x(42) {} in Left4() function 416 class MultipleInheritanceTest4 : public Left4, public Right4 { 421 : Left4(int{}), in MultipleInheritanceTest4()
|
/dports/devel/tinygo/tinygo-0.14.1/llvm-project/clang/test/Analysis/ |
H A D | cxx-uninitialized-object-inheritance.cpp | 405 struct Left4 { struct 407 Left4() = default; argument 408 Left4(int) : x(42) {} in Left4() function 416 class MultipleInheritanceTest4 : public Left4, public Right4 { 421 : Left4(int{}), in MultipleInheritanceTest4()
|
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/clang/test/Analysis/ |
H A D | cxx-uninitialized-object-inheritance.cpp | 405 struct Left4 { struct 407 Left4() = default; argument 408 Left4(int) : x(42) {} in Left4() argument 416 class MultipleInheritanceTest4 : public Left4, public Right4 { 421 : Left4(int{}), in MultipleInheritanceTest4()
|
/dports/devel/wasi-libcxx/llvm-project-13.0.1.src/clang/test/Analysis/ |
H A D | cxx-uninitialized-object-inheritance.cpp | 405 struct Left4 { struct 407 Left4() = default; argument 408 Left4(int) : x(42) {} in Left4() argument 416 class MultipleInheritanceTest4 : public Left4, public Right4 { 421 : Left4(int{}), in MultipleInheritanceTest4()
|
/dports/devel/llvm12/llvm-project-12.0.1.src/clang/test/Analysis/ |
H A D | cxx-uninitialized-object-inheritance.cpp | 405 struct Left4 { struct 407 Left4() = default; argument 408 Left4(int) : x(42) {} in Left4() argument 416 class MultipleInheritanceTest4 : public Left4, public Right4 { 421 : Left4(int{}), in MultipleInheritanceTest4()
|
/dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/clang/test/Analysis/ |
H A D | cxx-uninitialized-object-inheritance.cpp | 405 struct Left4 { struct 407 Left4() = default; argument 408 Left4(int) : x(42) {} in Left4() function 416 class MultipleInheritanceTest4 : public Left4, public Right4 { 421 : Left4(int{}), in MultipleInheritanceTest4()
|
/dports/devel/llvm90/llvm-9.0.1.src/tools/clang/test/Analysis/ |
H A D | cxx-uninitialized-object-inheritance.cpp | 405 struct Left4 { struct 407 Left4() = default; argument 408 Left4(int) : x(42) {} in Left4() argument 416 class MultipleInheritanceTest4 : public Left4, public Right4 { 421 : Left4(int{}), in MultipleInheritanceTest4()
|
/dports/devel/llvm10/llvm-10.0.1.src/tools/clang/test/Analysis/ |
H A D | cxx-uninitialized-object-inheritance.cpp | 405 struct Left4 { struct 407 Left4() = default; argument 408 Left4(int) : x(42) {} in Left4() argument 416 class MultipleInheritanceTest4 : public Left4, public Right4 { 421 : Left4(int{}), in MultipleInheritanceTest4()
|
/dports/devel/llvm11/llvm-11.0.1.src/tools/clang/test/Analysis/ |
H A D | cxx-uninitialized-object-inheritance.cpp | 405 struct Left4 { struct 407 Left4() = default; argument 408 Left4(int) : x(42) {} in Left4() argument 416 class MultipleInheritanceTest4 : public Left4, public Right4 { 421 : Left4(int{}), in MultipleInheritanceTest4()
|
/dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/clang/test/Analysis/ |
H A D | cxx-uninitialized-object-inheritance.cpp | 405 struct Left4 { struct 407 Left4() = default; argument 408 Left4(int) : x(42) {} in Left4() argument 416 class MultipleInheritanceTest4 : public Left4, public Right4 { 421 : Left4(int{}), in MultipleInheritanceTest4()
|
/dports/lang/rust/rustc-1.58.1-src/src/llvm-project/clang/test/Analysis/ |
H A D | cxx-uninitialized-object-inheritance.cpp | 405 struct Left4 { struct 407 Left4() = default; argument 408 Left4(int) : x(42) {} in Left4() function 416 class MultipleInheritanceTest4 : public Left4, public Right4 { 421 : Left4(int{}), in MultipleInheritanceTest4()
|
/dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/clang/test/Analysis/ |
H A D | cxx-uninitialized-object-inheritance.cpp | 405 struct Left4 { struct 407 Left4() = default; argument 408 Left4(int) : x(42) {} in Left4() argument 416 class MultipleInheritanceTest4 : public Left4, public Right4 { 421 : Left4(int{}), in MultipleInheritanceTest4()
|
/dports/devel/llvm13/llvm-project-13.0.1.src/clang/test/Analysis/ |
H A D | cxx-uninitialized-object-inheritance.cpp | 405 struct Left4 { struct 407 Left4() = default; argument 408 Left4(int) : x(42) {} in Left4() argument 416 class MultipleInheritanceTest4 : public Left4, public Right4 { 421 : Left4(int{}), in MultipleInheritanceTest4()
|
/dports/devel/llvm80/llvm-8.0.1.src/tools/clang/test/Analysis/ |
H A D | cxx-uninitialized-object-inheritance.cpp | 405 struct Left4 { struct 407 Left4() = default; argument 408 Left4(int) : x(42) {} in Left4() argument 416 class MultipleInheritanceTest4 : public Left4, public Right4 { 421 : Left4(int{}), in MultipleInheritanceTest4()
|
/dports/lang/clang-mesa/clang-13.0.1.src/test/Analysis/ |
H A D | cxx-uninitialized-object-inheritance.cpp | 405 struct Left4 { struct 407 Left4() = default; argument 408 Left4(int) : x(42) {} in Left4() function 416 class MultipleInheritanceTest4 : public Left4, public Right4 { 421 : Left4(int{}), in MultipleInheritanceTest4()
|
/dports/print/foomatic-db/foomatic-db-20210822/db/source/PPD/Lanier/PS/ |
H A D | Lanier-LP550C_SPC821DN_PS.ppd | 921 *RIPunch Left4/4 at left: "<< /Punch 2 2367 *UIConstraints: *MediaType Labels *RIPunch Left4 2377 *UIConstraints: *MediaType Coated *RIPunch Left4 2397 *UIConstraints: *MediaType OHP *RIPunch Left4 2407 *UIConstraints: *MediaType Thick *RIPunch Left4 2417 *UIConstraints: *MediaType Thick2 *RIPunch Left4 2427 *UIConstraints: *MediaType Thick3 *RIPunch Left4 2437 *UIConstraints: *MediaType Glossy *RIPunch Left4 2487 *UIConstraints: *RIPunch Left4 *MediaType Labels 2517 *UIConstraints: *RIPunch Left4 *MediaType OHP [all …]
|
H A D | Lanier-LP540C_SPC820DN_PS.ppd | 921 *RIPunch Left4/4 at left: "<< /Punch 2 2367 *UIConstraints: *MediaType Labels *RIPunch Left4 2377 *UIConstraints: *MediaType Coated *RIPunch Left4 2397 *UIConstraints: *MediaType OHP *RIPunch Left4 2407 *UIConstraints: *MediaType Thick *RIPunch Left4 2417 *UIConstraints: *MediaType Thick2 *RIPunch Left4 2427 *UIConstraints: *MediaType Thick3 *RIPunch Left4 2437 *UIConstraints: *MediaType Glossy *RIPunch Left4 2487 *UIConstraints: *RIPunch Left4 *MediaType Labels 2517 *UIConstraints: *RIPunch Left4 *MediaType OHP [all …]
|
/dports/print/foomatic-db/foomatic-db-20210822/db/source/PPD/Savin/PS/ |
H A D | Savin-CLP350D_PS.ppd | 921 *RIPunch Left4/4 at left: "<< /Punch 2 2367 *UIConstraints: *MediaType Labels *RIPunch Left4 2377 *UIConstraints: *MediaType Coated *RIPunch Left4 2397 *UIConstraints: *MediaType OHP *RIPunch Left4 2407 *UIConstraints: *MediaType Thick *RIPunch Left4 2417 *UIConstraints: *MediaType Thick2 *RIPunch Left4 2427 *UIConstraints: *MediaType Thick3 *RIPunch Left4 2437 *UIConstraints: *MediaType Glossy *RIPunch Left4 2487 *UIConstraints: *RIPunch Left4 *MediaType Labels 2517 *UIConstraints: *RIPunch Left4 *MediaType OHP [all …]
|
H A D | Savin-CLP340D_PS.ppd | 921 *RIPunch Left4/4 at left: "<< /Punch 2 2367 *UIConstraints: *MediaType Labels *RIPunch Left4 2377 *UIConstraints: *MediaType Coated *RIPunch Left4 2397 *UIConstraints: *MediaType OHP *RIPunch Left4 2407 *UIConstraints: *MediaType Thick *RIPunch Left4 2417 *UIConstraints: *MediaType Thick2 *RIPunch Left4 2427 *UIConstraints: *MediaType Thick3 *RIPunch Left4 2437 *UIConstraints: *MediaType Glossy *RIPunch Left4 2487 *UIConstraints: *RIPunch Left4 *MediaType Labels 2517 *UIConstraints: *RIPunch Left4 *MediaType OHP [all …]
|
/dports/print/foomatic-db/foomatic-db-20210822/db/source/PPD/Gestetner/PS/ |
H A D | Gestetner-C8140ND_PS.ppd | 921 *RIPunch Left4/4 at left: "<< /Punch 2 2367 *UIConstraints: *MediaType Labels *RIPunch Left4 2377 *UIConstraints: *MediaType Coated *RIPunch Left4 2397 *UIConstraints: *MediaType OHP *RIPunch Left4 2407 *UIConstraints: *MediaType Thick *RIPunch Left4 2417 *UIConstraints: *MediaType Thick2 *RIPunch Left4 2427 *UIConstraints: *MediaType Thick3 *RIPunch Left4 2437 *UIConstraints: *MediaType Glossy *RIPunch Left4 2487 *UIConstraints: *RIPunch Left4 *MediaType Labels 2517 *UIConstraints: *RIPunch Left4 *MediaType OHP [all …]
|
H A D | Gestetner-C8150ND_PS.ppd | 921 *RIPunch Left4/4 at left: "<< /Punch 2 2367 *UIConstraints: *MediaType Labels *RIPunch Left4 2377 *UIConstraints: *MediaType Coated *RIPunch Left4 2397 *UIConstraints: *MediaType OHP *RIPunch Left4 2407 *UIConstraints: *MediaType Thick *RIPunch Left4 2417 *UIConstraints: *MediaType Thick2 *RIPunch Left4 2427 *UIConstraints: *MediaType Thick3 *RIPunch Left4 2437 *UIConstraints: *MediaType Glossy *RIPunch Left4 2487 *UIConstraints: *RIPunch Left4 *MediaType Labels 2517 *UIConstraints: *RIPunch Left4 *MediaType OHP [all …]
|
/dports/print/foomatic-db/foomatic-db-20210822/db/source/PPD/NRG/PS/ |
H A D | NRG-SP_C821DN_PS.ppd | 921 *RIPunch Left4/4 at left: "<< /Punch 2 2367 *UIConstraints: *MediaType Labels *RIPunch Left4 2377 *UIConstraints: *MediaType Coated *RIPunch Left4 2397 *UIConstraints: *MediaType OHP *RIPunch Left4 2407 *UIConstraints: *MediaType Thick *RIPunch Left4 2417 *UIConstraints: *MediaType Thick2 *RIPunch Left4 2427 *UIConstraints: *MediaType Thick3 *RIPunch Left4 2437 *UIConstraints: *MediaType Glossy *RIPunch Left4 2487 *UIConstraints: *RIPunch Left4 *MediaType Labels 2517 *UIConstraints: *RIPunch Left4 *MediaType OHP [all …]
|
H A D | NRG-SP_C820DN_PS.ppd | 921 *RIPunch Left4/4 at left: "<< /Punch 2 2367 *UIConstraints: *MediaType Labels *RIPunch Left4 2377 *UIConstraints: *MediaType Coated *RIPunch Left4 2397 *UIConstraints: *MediaType OHP *RIPunch Left4 2407 *UIConstraints: *MediaType Thick *RIPunch Left4 2417 *UIConstraints: *MediaType Thick2 *RIPunch Left4 2427 *UIConstraints: *MediaType Thick3 *RIPunch Left4 2437 *UIConstraints: *MediaType Glossy *RIPunch Left4 2487 *UIConstraints: *RIPunch Left4 *MediaType Labels 2517 *UIConstraints: *RIPunch Left4 *MediaType OHP [all …]
|