6 #define model_print printf
10 fprintf(stderr, "Error: assertion failed in %s at line %d\n", __FILE__, __LINE__); \
11 /* print_trace(); // Trace printing may cause dynamic memory allocation */ \
21 class TimingSingleton;
29 class ArbitrationRound;
31 class RejectedMessage;
32 class PendingTransaction;
42 class TimingSingleton;
44 class TransactionPart;
45 class TransactionStatus;
48 class ServerException;