Lines Matching refs:insert
59 EXPECT_THAT(Lattice.insert({Key1, BooleanLattice(false)}), Pair(_, true)); in TEST()
60 EXPECT_THAT(Lattice.insert({Key2, BooleanLattice(false)}), Pair(_, true)); in TEST()
63 EXPECT_THAT(Lattice.insert({Key1, BooleanLattice(false)}), Pair(_, false)); in TEST()
64 EXPECT_THAT(Lattice.insert({Key2, BooleanLattice(false)}), Pair(_, false)); in TEST()
72 Lattice1.insert({Key1, BooleanLattice(true)}); in TEST()
73 Lattice1.insert({Key2, BooleanLattice(false)}); in TEST()
83 Lattice1.insert({Key1, BooleanLattice(false)}); in TEST()
84 Lattice1.insert({Key2, BooleanLattice(false)}); in TEST()
87 Lattice2.insert({Key1, BooleanLattice(true)}); in TEST()
88 Lattice2.insert({Key2, BooleanLattice(true)}); in TEST()
101 Lattice.insert({Key1, BooleanLattice(false)}); in TEST()
102 Lattice.insert({Key2, BooleanLattice(false)}); in TEST()
111 Lattice1.insert({Key1, BooleanLattice(false)}); in TEST()
112 Lattice1.insert({Key2, BooleanLattice(false)}); in TEST()
115 Lattice2.insert({Key1, BooleanLattice(true)}); in TEST()
116 Lattice2.insert({Key2, BooleanLattice(true)}); in TEST()
132 Lattice1.insert({Key1, BooleanLattice(true)}); in TEST()
134 Lattice2.insert({Key2, BooleanLattice(true)}); in TEST()
143 Lattice.insert({Key1, BooleanLattice(true)}); in TEST()
144 Lattice.insert({Key2, BooleanLattice(false)}); in TEST()
157 Lattice.insert({Key1, BooleanLattice(true)}); in TEST()