Home
last modified time | relevance | path

Searched refs:Right4 (Results 1 – 25 of 1221) sorted by relevance

12345678910>>...49

/dports/math/abella/abella-2.0.7/examples/process-calculi/pic/
H A Dpic_bisim.thm35 clear Right1 Right2 Right3 Right4 Right5 Right6.
50 clear Right1 Right2 Right3 Right4 Right5 Right6.
71 clear Right1 Right2 Right3 Right4 Right5 Right6.
81 Right1 : case Right. Sstep : apply Right4 to *Qstep.
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 Dcxx-uninitialized-object-inheritance.cpp407 struct Right4 { struct
409 Right4() = default; argument
410 Right4(int) : y(43) {} in Right4() function
413 class MultipleInheritanceTest4 : public Left4, public Right4 {
419 Right4(char{}) { // expected-warning{{1 uninitialized field}}
/dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/clang/test/Analysis/
H A Dcxx-uninitialized-object-inheritance.cpp410 struct Right4 { struct
412 Right4() = default; argument
413 Right4(int) : y(43) {} in Right4() function
416 class MultipleInheritanceTest4 : public Left4, public Right4 {
422 Right4(char{}) { // expected-warning{{1 uninitialized field}}
/dports/devel/tinygo/tinygo-0.14.1/llvm-project/clang/test/Analysis/
H A Dcxx-uninitialized-object-inheritance.cpp410 struct Right4 { struct
412 Right4() = default; argument
413 Right4(int) : y(43) {} in Right4() function
416 class MultipleInheritanceTest4 : public Left4, public Right4 {
422 Right4(char{}) { // expected-warning{{1 uninitialized field}}
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/clang/test/Analysis/
H A Dcxx-uninitialized-object-inheritance.cpp410 struct Right4 { struct
412 Right4() = default; argument
413 Right4(int) : y(43) {} in Right4() argument
416 class MultipleInheritanceTest4 : public Left4, public Right4 {
422 Right4(char{}) { // expected-warning{{1 uninitialized field}}
/dports/devel/wasi-libcxx/llvm-project-13.0.1.src/clang/test/Analysis/
H A Dcxx-uninitialized-object-inheritance.cpp410 struct Right4 { struct
412 Right4() = default; argument
413 Right4(int) : y(43) {} in Right4() argument
416 class MultipleInheritanceTest4 : public Left4, public Right4 {
422 Right4(char{}) { // expected-warning{{1 uninitialized field}}
/dports/devel/llvm12/llvm-project-12.0.1.src/clang/test/Analysis/
H A Dcxx-uninitialized-object-inheritance.cpp410 struct Right4 { struct
412 Right4() = default; argument
413 Right4(int) : y(43) {} in Right4() function
416 class MultipleInheritanceTest4 : public Left4, public Right4 {
422 Right4(char{}) { // expected-warning{{1 uninitialized field}}
/dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/clang/test/Analysis/
H A Dcxx-uninitialized-object-inheritance.cpp410 struct Right4 { struct
412 Right4() = default; argument
413 Right4(int) : y(43) {} in Right4() function
416 class MultipleInheritanceTest4 : public Left4, public Right4 {
422 Right4(char{}) { // expected-warning{{1 uninitialized field}}
/dports/devel/llvm90/llvm-9.0.1.src/tools/clang/test/Analysis/
H A Dcxx-uninitialized-object-inheritance.cpp410 struct Right4 { struct
412 Right4() = default; argument
413 Right4(int) : y(43) {} in Right4() function
416 class MultipleInheritanceTest4 : public Left4, public Right4 {
422 Right4(char{}) { // expected-warning{{1 uninitialized field}}
/dports/devel/llvm10/llvm-10.0.1.src/tools/clang/test/Analysis/
H A Dcxx-uninitialized-object-inheritance.cpp410 struct Right4 { struct
412 Right4() = default; argument
413 Right4(int) : y(43) {} in Right4() argument
416 class MultipleInheritanceTest4 : public Left4, public Right4 {
422 Right4(char{}) { // expected-warning{{1 uninitialized field}}
/dports/devel/llvm11/llvm-11.0.1.src/tools/clang/test/Analysis/
H A Dcxx-uninitialized-object-inheritance.cpp410 struct Right4 { struct
412 Right4() = default; argument
413 Right4(int) : y(43) {} in Right4() function
416 class MultipleInheritanceTest4 : public Left4, public Right4 {
422 Right4(char{}) { // expected-warning{{1 uninitialized field}}
/dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/clang/test/Analysis/
H A Dcxx-uninitialized-object-inheritance.cpp410 struct Right4 { struct
412 Right4() = default; argument
413 Right4(int) : y(43) {} in Right4() argument
416 class MultipleInheritanceTest4 : public Left4, public Right4 {
422 Right4(char{}) { // expected-warning{{1 uninitialized field}}
/dports/lang/rust/rustc-1.58.1-src/src/llvm-project/clang/test/Analysis/
H A Dcxx-uninitialized-object-inheritance.cpp410 struct Right4 { struct
412 Right4() = default; argument
413 Right4(int) : y(43) {} in Right4() function
416 class MultipleInheritanceTest4 : public Left4, public Right4 {
422 Right4(char{}) { // expected-warning{{1 uninitialized field}}
/dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/clang/test/Analysis/
H A Dcxx-uninitialized-object-inheritance.cpp410 struct Right4 { struct
412 Right4() = default; argument
413 Right4(int) : y(43) {} in Right4() function
416 class MultipleInheritanceTest4 : public Left4, public Right4 {
422 Right4(char{}) { // expected-warning{{1 uninitialized field}}
/dports/devel/llvm13/llvm-project-13.0.1.src/clang/test/Analysis/
H A Dcxx-uninitialized-object-inheritance.cpp410 struct Right4 { struct
412 Right4() = default; argument
413 Right4(int) : y(43) {} in Right4() function
416 class MultipleInheritanceTest4 : public Left4, public Right4 {
422 Right4(char{}) { // expected-warning{{1 uninitialized field}}
/dports/devel/llvm80/llvm-8.0.1.src/tools/clang/test/Analysis/
H A Dcxx-uninitialized-object-inheritance.cpp410 struct Right4 { struct
412 Right4() = default; argument
413 Right4(int) : y(43) {} in Right4() argument
416 class MultipleInheritanceTest4 : public Left4, public Right4 {
422 Right4(char{}) { // expected-warning{{1 uninitialized field}}
/dports/lang/clang-mesa/clang-13.0.1.src/test/Analysis/
H A Dcxx-uninitialized-object-inheritance.cpp410 struct Right4 { struct
412 Right4() = default; argument
413 Right4(int) : y(43) {} in Right4() function
416 class MultipleInheritanceTest4 : public Left4, public Right4 {
422 Right4(char{}) { // expected-warning{{1 uninitialized field}}
/dports/print/foomatic-db/foomatic-db-20210822/db/source/PPD/Lanier/PS/
H A DLanier-LP550C_SPC821DN_PS.ppd930 *RIPunch Right4/4 at right: "<< /Punch 2
2370 *UIConstraints: *MediaType Labels *RIPunch Right4
2380 *UIConstraints: *MediaType Coated *RIPunch Right4
2400 *UIConstraints: *MediaType OHP *RIPunch Right4
2410 *UIConstraints: *MediaType Thick *RIPunch Right4
2420 *UIConstraints: *MediaType Thick2 *RIPunch Right4
2430 *UIConstraints: *MediaType Thick3 *RIPunch Right4
2440 *UIConstraints: *MediaType Glossy *RIPunch Right4
2490 *UIConstraints: *RIPunch Right4 *MediaType Labels
2520 *UIConstraints: *RIPunch Right4 *MediaType OHP
[all …]
H A DLanier-LP540C_SPC820DN_PS.ppd930 *RIPunch Right4/4 at right: "<< /Punch 2
2370 *UIConstraints: *MediaType Labels *RIPunch Right4
2380 *UIConstraints: *MediaType Coated *RIPunch Right4
2400 *UIConstraints: *MediaType OHP *RIPunch Right4
2410 *UIConstraints: *MediaType Thick *RIPunch Right4
2420 *UIConstraints: *MediaType Thick2 *RIPunch Right4
2430 *UIConstraints: *MediaType Thick3 *RIPunch Right4
2440 *UIConstraints: *MediaType Glossy *RIPunch Right4
2490 *UIConstraints: *RIPunch Right4 *MediaType Labels
2520 *UIConstraints: *RIPunch Right4 *MediaType OHP
[all …]
/dports/print/foomatic-db/foomatic-db-20210822/db/source/PPD/Savin/PS/
H A DSavin-CLP350D_PS.ppd930 *RIPunch Right4/4 at right: "<< /Punch 2
2370 *UIConstraints: *MediaType Labels *RIPunch Right4
2380 *UIConstraints: *MediaType Coated *RIPunch Right4
2400 *UIConstraints: *MediaType OHP *RIPunch Right4
2410 *UIConstraints: *MediaType Thick *RIPunch Right4
2420 *UIConstraints: *MediaType Thick2 *RIPunch Right4
2430 *UIConstraints: *MediaType Thick3 *RIPunch Right4
2440 *UIConstraints: *MediaType Glossy *RIPunch Right4
2490 *UIConstraints: *RIPunch Right4 *MediaType Labels
2520 *UIConstraints: *RIPunch Right4 *MediaType OHP
[all …]
H A DSavin-CLP340D_PS.ppd930 *RIPunch Right4/4 at right: "<< /Punch 2
2370 *UIConstraints: *MediaType Labels *RIPunch Right4
2380 *UIConstraints: *MediaType Coated *RIPunch Right4
2400 *UIConstraints: *MediaType OHP *RIPunch Right4
2410 *UIConstraints: *MediaType Thick *RIPunch Right4
2420 *UIConstraints: *MediaType Thick2 *RIPunch Right4
2430 *UIConstraints: *MediaType Thick3 *RIPunch Right4
2440 *UIConstraints: *MediaType Glossy *RIPunch Right4
2490 *UIConstraints: *RIPunch Right4 *MediaType Labels
2520 *UIConstraints: *RIPunch Right4 *MediaType OHP
[all …]
/dports/print/foomatic-db/foomatic-db-20210822/db/source/PPD/Gestetner/PS/
H A DGestetner-C8140ND_PS.ppd930 *RIPunch Right4/4 at right: "<< /Punch 2
2370 *UIConstraints: *MediaType Labels *RIPunch Right4
2380 *UIConstraints: *MediaType Coated *RIPunch Right4
2400 *UIConstraints: *MediaType OHP *RIPunch Right4
2410 *UIConstraints: *MediaType Thick *RIPunch Right4
2420 *UIConstraints: *MediaType Thick2 *RIPunch Right4
2430 *UIConstraints: *MediaType Thick3 *RIPunch Right4
2440 *UIConstraints: *MediaType Glossy *RIPunch Right4
2490 *UIConstraints: *RIPunch Right4 *MediaType Labels
2520 *UIConstraints: *RIPunch Right4 *MediaType OHP
[all …]
H A DGestetner-C8150ND_PS.ppd930 *RIPunch Right4/4 at right: "<< /Punch 2
2370 *UIConstraints: *MediaType Labels *RIPunch Right4
2380 *UIConstraints: *MediaType Coated *RIPunch Right4
2400 *UIConstraints: *MediaType OHP *RIPunch Right4
2410 *UIConstraints: *MediaType Thick *RIPunch Right4
2420 *UIConstraints: *MediaType Thick2 *RIPunch Right4
2430 *UIConstraints: *MediaType Thick3 *RIPunch Right4
2440 *UIConstraints: *MediaType Glossy *RIPunch Right4
2490 *UIConstraints: *RIPunch Right4 *MediaType Labels
2520 *UIConstraints: *RIPunch Right4 *MediaType OHP
[all …]
/dports/print/foomatic-db/foomatic-db-20210822/db/source/PPD/NRG/PS/
H A DNRG-SP_C821DN_PS.ppd930 *RIPunch Right4/4 at right: "<< /Punch 2
2370 *UIConstraints: *MediaType Labels *RIPunch Right4
2380 *UIConstraints: *MediaType Coated *RIPunch Right4
2400 *UIConstraints: *MediaType OHP *RIPunch Right4
2410 *UIConstraints: *MediaType Thick *RIPunch Right4
2420 *UIConstraints: *MediaType Thick2 *RIPunch Right4
2430 *UIConstraints: *MediaType Thick3 *RIPunch Right4
2440 *UIConstraints: *MediaType Glossy *RIPunch Right4
2490 *UIConstraints: *RIPunch Right4 *MediaType Labels
2520 *UIConstraints: *RIPunch Right4 *MediaType OHP
[all …]
H A DNRG-SP_C820DN_PS.ppd930 *RIPunch Right4/4 at right: "<< /Punch 2
2370 *UIConstraints: *MediaType Labels *RIPunch Right4
2380 *UIConstraints: *MediaType Coated *RIPunch Right4
2400 *UIConstraints: *MediaType OHP *RIPunch Right4
2410 *UIConstraints: *MediaType Thick *RIPunch Right4
2420 *UIConstraints: *MediaType Thick2 *RIPunch Right4
2430 *UIConstraints: *MediaType Thick3 *RIPunch Right4
2440 *UIConstraints: *MediaType Glossy *RIPunch Right4
2490 *UIConstraints: *RIPunch Right4 *MediaType Labels
2520 *UIConstraints: *RIPunch Right4 *MediaType OHP
[all …]

12345678910>>...49