source: tests/avltree/avl-private.h @ 52fad0c

ADTast-experimentalenumforall-pointer-decayjacob/cs343-translationpthread-emulationqualifiedEnum
Last change on this file since 52fad0c was fd54fef, checked in by Michael Brooks <mlbrooks@…>, 4 years ago

Converting the project to use the new syntax for otype, dtype and ttytpe.

Changed prelude (gen), libcfa and test suite to use it. Added a simple deprecation rule of the old syntax to the parser; we might wish to support both syntaxes "officially," like with an extra CLI switch, but this measure should serve as a simple reminder for our team to try the new syntax.

  • Property mode set to 100644
File size: 391 bytes
Line 
1#pragma once
2#include "avl.h"
3
4// functions that really shouldn't be exposed, but are to reduce compilation time
5
6// attempt to fix the tree, if necessary
7forall(K | Comparable(K), V)
8tree(K, V) * tryFix(tree(K, V) * t);
9
10// sets parent field of c to be p
11forall(K | Comparable(K), V)
12void setParent(tree(K, V) * c, tree(K, V) * p);
13
14forall(K | Comparable(K), V)
15int height(tree(K, V) * t);
Note: See TracBrowser for help on using the repository browser.