Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
aa:lab:8 [2025/12/01 22:20]
mihnea.gheorghe fix formula de la 2 		aa:lab:8 [2025/12/04 12:08] (current)
mihnea.gheorghe fix notation consistency
Line 26: Line 26:
 \mathrm{isBSTBetween} : \mathrm{BTree} \times \overline{\mathbb{E}} \times \overline{\mathbb{E}} \to \mathrm{Bool} \\ \mathrm{isBSTBetween} : \mathrm{BTree} \times \overline{\mathbb{E}} \times \overline{\mathbb{E}} \to \mathrm{Bool} \\
 \mathrm{isBSTBetween}(\mathrm{Nil},​ lo, hi) = \text{true} \\ \mathrm{isBSTBetween}(\mathrm{Nil},​ lo, hi) = \text{true} \\
-\mathrm{isBSTBetween}(\mathrm{Node}(x,​l,​r),​ lo, hi) +\mathrm{isBSTBetween}(\mathrm{Node}(x,​l,​r),​ lo, hi) = (lo \le x \le hi)
-\;​\equiv\;​ +
-(lo \le x \le hi)+
 \;\land\; \;\land\;
 \mathrm{isBSTBetween}(l,​ lo, x) \mathrm{isBSTBetween}(l,​ lo, x)