Mercurial > hg > Gears > GearsAgda
view src/llrb/compare.c @ 99:ca55f4be5f0f
Create verifier directory
author | Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> |
---|---|
date | Tue, 02 Feb 2016 16:02:55 +0900 |
parents | dc6f665bb753 |
children |
line wrap: on
line source
#include "llrbContext.h" void compare(struct Context* context, struct Tree* tree, int key1, int key2) { if (key1 == key2) { tree->result = EQ; } else if (key1 < key2) { tree->result = GT; } else { tree->result = LT; } }