Lines Matching defs:WrittenToLatticeValue
23 struct WrittenToLatticeValue {
24 bool operator==(const WrittenToLatticeValue &other) {
28 static WrittenToLatticeValue meet(const WrittenToLatticeValue &lhs,
29 const WrittenToLatticeValue &rhs) {
30 WrittenToLatticeValue res = lhs;
36 static WrittenToLatticeValue join(const WrittenToLatticeValue &lhs,
37 const WrittenToLatticeValue &rhs) {
64 struct WrittenTo : public Lattice<WrittenToLatticeValue> {