Lines Matching refs:NotEmpty

11 // CHECK:   bit NotEmpty = 0;
14 // CHECK:   bit NotEmpty = 1;
17 // CHECK:   bit NotEmpty = 1;
21   bit NotEmpty = !not(!empty(ADag));
34 // CHECK:   bit NotEmpty = 0;
37 // CHECK:   bit NotEmpty = 1;
40 // CHECK:   bit NotEmpty = 1;
44   bit NotEmpty = !not(!empty(Ints));
55 // CHECK:   bit NotEmpty = 0;
58 // CHECK:   bit NotEmpty = 1;
61 // CHECK:   bit NotEmpty = 1;
65   bit NotEmpty = !not(!empty(Str));