5 //typedef uint32_t uint;
7 #define model_print printf
11 fprintf(stderr, "Error: assertion failed in %s at line %d\n", __FILE__, __LINE__); \
12 /* print_trace(); // Trace printing may cause dynamic memory allocation */ \
21 #define myerror(msg) \
27 class TimingSingleton;
35 class ArbitrationRound;
37 class RejectedMessage;
38 class PendingTransaction;
48 class TimingSingleton;
50 class TransactionPart;
51 class TransactionStatus;
54 class ServerException;