Searched refs:BooleanLattice (Results 1 – 1 of 1) sorted by relevance
13 class BooleanLattice { class15 BooleanLattice() : Value(false) {} in BooleanLattice() function in __anon444409010111::BooleanLattice16 explicit BooleanLattice(bool B) : Value(B) {} in BooleanLattice() function in __anon444409010111::BooleanLattice18 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()[all …]