Go to the source code of this file.
| #define VDF_AXIOM |
( |
|
node, |
|
|
|
cond |
|
) |
| |
Value:
FatalError(node, "Failed axiom: ' %s '", #cond); \
} while (0)
Axioms that the condition cond is true in the spirit of TF_AXIOM.
In addition to the functionality provided by Tf, VDF_AXIOM also produces a graph of the network around node.
Definition at line 43 of file error.h.
Issues a fatal error to end the program in the spirit of TF_FATAL_ERROR.
In addition to the functionality provided by Tf, VDF_FATAL_ERROR also produces a graph of the network around node.
Definition at line 35 of file error.h.