Searched defs:TestLattice (Results 1 – 2 of 2) sorted by relevance
28 struct TestLattice { struct29 std::optional<bool> Branch;30 static TestLattice bottom() { return {}; } in bottom()33 LatticeJoinEffect join(const TestLattice &Other) { in join()47 void transfer(const CFGElement &, TestLattice &, Environment &) {} in transfer() argument
13 struct TestLattice { struct14 int Elements = 0;15 int Branches = 0;16 int Joins = 0;18 LatticeJoinEffect join(const TestLattice &Other) { in join()