#define LNT2LOTOS_EXPERT_TNT 5.8 /* * This ``.tnt'' file redefines the iterator for values of type WIRE, * in order to speed up the state space exploration. Function * ENUM_NEXT_FUNCTION_WIRE() is defined in the ``.f'' file */ /* ------------------------------------------------------------------------- */ #define NEXT_WIRE(CAESAR_ADT_0) ENUM_NEXT_FUNCTION_WIRE (&(CAESAR_ADT_0)) /* ------------------------------------------------------------------------- */