Lines Matching refs:BooleanLattice
13 class BooleanLattice { class
15 BooleanLattice() : Value(false) {} in BooleanLattice() function in __anon444409010111::BooleanLattice
16 explicit BooleanLattice(bool B) : Value(B) {} in BooleanLattice() function in __anon444409010111::BooleanLattice
18 static BooleanLattice bottom() { return BooleanLattice(false); } in bottom()
20 static BooleanLattice top() { return BooleanLattice(true); } in top()
22 LatticeJoinEffect join(BooleanLattice Other) { in join()
29 friend bool operator==(BooleanLattice LHS, BooleanLattice RHS) { in operator ==()
33 friend bool operator!=(BooleanLattice LHS, BooleanLattice RHS) { in operator !=()
37 friend std::ostream &operator<<(std::ostream &Os, const BooleanLattice &B) { in operator <<()
58 MapLattice<int, BooleanLattice> Lattice; in TEST()
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()
66 EXPECT_THAT(Lattice, UnorderedElementsAre(Pair(Key1, BooleanLattice(false)), in TEST()
67 Pair(Key2, BooleanLattice(false)))); in TEST()
71 MapLattice<int, BooleanLattice> Lattice1; in TEST()
72 Lattice1.insert({Key1, BooleanLattice(true)}); in TEST()
73 Lattice1.insert({Key2, BooleanLattice(false)}); in TEST()
74 MapLattice<int, BooleanLattice> Lattice2 = Lattice1; in TEST()
77 Lattice2.find(Key2)->second = BooleanLattice(true); in TEST()
82 MapLattice<int, BooleanLattice> Lattice1; in TEST()
83 Lattice1.insert({Key1, BooleanLattice(false)}); in TEST()
84 Lattice1.insert({Key2, BooleanLattice(false)}); in TEST()
86 MapLattice<int, BooleanLattice> Lattice2; in TEST()
87 Lattice2.insert({Key1, BooleanLattice(true)}); in TEST()
88 Lattice2.insert({Key2, BooleanLattice(true)}); in TEST()
91 UnorderedElementsAre(Pair(Key1, BooleanLattice(false)), in TEST()
92 Pair(Key2, BooleanLattice(false)))); in TEST()
95 EXPECT_THAT(Lattice1, UnorderedElementsAre(Pair(Key1, BooleanLattice(true)), in TEST()
96 Pair(Key2, BooleanLattice(true)))); in TEST()
100 MapLattice<int, BooleanLattice> Lattice; in TEST()
101 Lattice.insert({Key1, BooleanLattice(false)}); in TEST()
102 Lattice.insert({Key2, BooleanLattice(false)}); in TEST()
105 EXPECT_THAT(Lattice, UnorderedElementsAre(Pair(Key1, BooleanLattice(false)), in TEST()
106 Pair(Key2, BooleanLattice(false)))); in TEST()
110 MapLattice<int, BooleanLattice> Lattice1; in TEST()
111 Lattice1.insert({Key1, BooleanLattice(false)}); in TEST()
112 Lattice1.insert({Key2, BooleanLattice(false)}); in TEST()
114 MapLattice<int, BooleanLattice> Lattice2; in TEST()
115 Lattice2.insert({Key1, BooleanLattice(true)}); in TEST()
116 Lattice2.insert({Key2, BooleanLattice(true)}); in TEST()
119 UnorderedElementsAre(Pair(Key1, BooleanLattice(false)), in TEST()
120 Pair(Key2, BooleanLattice(false)))); in TEST()
122 ASSERT_THAT(Lattice2, UnorderedElementsAre(Pair(Key1, BooleanLattice(true)), in TEST()
123 Pair(Key2, BooleanLattice(true)))); in TEST()
126 EXPECT_THAT(Lattice2, UnorderedElementsAre(Pair(Key1, BooleanLattice(true)), in TEST()
127 Pair(Key2, BooleanLattice(true)))); in TEST()
131 MapLattice<int, BooleanLattice> Lattice1; in TEST()
132 Lattice1.insert({Key1, BooleanLattice(true)}); in TEST()
133 MapLattice<int, BooleanLattice> Lattice2; in TEST()
134 Lattice2.insert({Key2, BooleanLattice(true)}); in TEST()
137 EXPECT_THAT(Lattice1, UnorderedElementsAre(Pair(Key1, BooleanLattice(true)), in TEST()
138 Pair(Key2, BooleanLattice(true)))); in TEST()
142 MapLattice<int, BooleanLattice> Lattice; in TEST()
143 Lattice.insert({Key1, BooleanLattice(true)}); in TEST()
144 Lattice.insert({Key2, BooleanLattice(false)}); in TEST()
148 EXPECT_EQ(It->second, BooleanLattice(true)); in TEST()
152 EXPECT_EQ(It->second, BooleanLattice(false)); in TEST()
156 MapLattice<int, BooleanLattice> Lattice; in TEST()
157 Lattice.insert({Key1, BooleanLattice(true)}); in TEST()