Mercurial > hg > Gears > GearsAgda
comparison src/parallel_execution/Stack.cbc @ 452:1432d924c472
fix RedBlackTree.cbc Insert, debug now
author | ryokka |
---|---|
date | Fri, 08 Dec 2017 15:28:06 +0900 |
parents | 0c113f8e5a3f |
children |
comparison
equal
deleted
inserted
replaced
451:dcc42f3e7e97 | 452:1432d924c472 |
---|---|
1 typedef struct Stack<Type, Impl>{ | 1 typedef struct Stack<Type, Impl>{ |
2 Type* stack; | 2 union Data* stack; |
3 Type* data; | 3 union Data* data; |
4 Type* data1; | 4 union Data* data1; |
5 /* Type* stack; */ | |
6 /* Type* data; */ | |
7 /* Type* data1; */ | |
5 __code whenEmpty(...); | 8 __code whenEmpty(...); |
6 __code clear(Impl* stack,__code next(...)); | 9 __code clear(Impl* stack,__code next(...)); |
7 __code push(Impl* stack,Type* data, __code next(...)); | 10 __code push(Impl* stack,Type* data, __code next(...)); |
8 __code pop(Impl* stack, __code next(Type* data, ...)); | 11 __code pop(Impl* stack, __code next(Type* data, ...)); |
9 __code pop2(Impl* stack, __code next(Type* data, Type* data1, ...)); | 12 __code pop2(Impl* stack, __code next(Type* data, Type* data1, ...)); |