Lines Matching refs:Key2
50 static constexpr int Key2 = 1; variable
60 EXPECT_THAT(Lattice.insert({Key2, BooleanLattice(false)}), Pair(_, true)); in TEST()
64 EXPECT_THAT(Lattice.insert({Key2, BooleanLattice(false)}), Pair(_, false)); in TEST()
67 Pair(Key2, BooleanLattice(false)))); in TEST()
73 Lattice1.insert({Key2, BooleanLattice(false)}); in TEST()
77 Lattice2.find(Key2)->second = BooleanLattice(true); in TEST()
84 Lattice1.insert({Key2, BooleanLattice(false)}); in TEST()
88 Lattice2.insert({Key2, BooleanLattice(true)}); in TEST()
92 Pair(Key2, BooleanLattice(false)))); in TEST()
96 Pair(Key2, BooleanLattice(true)))); in TEST()
102 Lattice.insert({Key2, BooleanLattice(false)}); in TEST()
106 Pair(Key2, BooleanLattice(false)))); in TEST()
112 Lattice1.insert({Key2, BooleanLattice(false)}); in TEST()
116 Lattice2.insert({Key2, BooleanLattice(true)}); in TEST()
120 Pair(Key2, BooleanLattice(false)))); in TEST()
123 Pair(Key2, BooleanLattice(true)))); in TEST()
127 Pair(Key2, BooleanLattice(true)))); in TEST()
134 Lattice2.insert({Key2, BooleanLattice(true)}); in TEST()
138 Pair(Key2, BooleanLattice(true)))); in TEST()
144 Lattice.insert({Key2, BooleanLattice(false)}); in TEST()
150 It = Lattice.find(Key2); in TEST()
159 EXPECT_FALSE(Lattice.contains(Key2)); in TEST()