Here is a list of all macros with links to the files they belong to:

- a -

• A256 : sp_random.cpp
• ABASE : cfl_transset.h

- b -

• BASE : cfl_agenerator.h, cfl_baseset.h, cfl_basevector.h, cfl_cgenerator.h, cfl_transset.h, omg_rabinaut.h, mtc_generator.h, diag_generator.h, hio_constraint.h, hio_controller.h, hio_environment.h, hio_plant.h, ios_system.h, pev_pgenerator.h, pev_priorities.h, tp_tgenerator.h
• BISIM_VERB0 : cfl_bisimcta.cpp
• BISIM_VERB1 : cfl_bisimcta.cpp
• BISIM_VERB2 : cfl_bisimcta.cpp

- c -

• CHECK : sp_random.cpp

- d -

• DEFAULT : sp_random.cpp

- e -

• EOFMARK : luafaudes.cpp

- f -

• FAUDES_API : cfl_platform.h
• FAUDES_DEBUG_IOPERF_LOG : iop_vdevice.h
• FAUDES_DEBUG_IOPERF_SAMPLES : iop_vdevice.h
• FAUDES_GENERIC : cfl_platform.h
• FAUDES_IDX_MAX : cfl_definitions.h
• FAUDES_INT_MAX : cfl_definitions.h
• FAUDES_INT_MIN : cfl_definitions.h
• FAUDES_LIBLUAFAUDES_H : lbp_include.h
• FAUDES_NODOC : cfl_definitions.h
• FAUDES_OBJCOUNT_DEC : cfl_definitions.h
• FAUDES_OBJCOUNT_INC : cfl_definitions.h
• FAUDES_OP_MC_H : op_mc.h
• FAUDES_REGULAR_H : cfl_regular.h
• faudes_stdin_is_tty : luafaudes.cpp
• FAUDES_STOCHRAN_H : sp_random.h
• FAUDES_TAPI : cfl_platform.h
• FAUDES_TEST_DIFF : cfl_utils.h
• FAUDES_TEST_DUMP : cfl_utils.h
• FAUDES_TIMER_LAP : cfl_definitions.h
• FAUDES_TIMER_START : cfl_definitions.h
• FAUDES_TYPE_DECLARATION : cfl_types.h
• FAUDES_TYPE_IMPLEMENTATION : cfl_types.h
• FAUDES_TYPE_IMPLEMENTATION_ASSIGN : cfl_types.h
• FAUDES_TYPE_IMPLEMENTATION_CAST : cfl_types.h
• FAUDES_TYPE_IMPLEMENTATION_COPY : cfl_types.h
• FAUDES_TYPE_IMPLEMENTATION_EQUAL : cfl_types.h
• FAUDES_TYPE_IMPLEMENTATION_NEW : cfl_types.h
• FAUDES_TYPE_TDECLARATION : cfl_types.h
• FAUDES_TYPE_TIMPLEMENTATION : cfl_types.h
• FAUDES_TYPE_TIMPLEMENTATION_ASSIGN : cfl_types.h
• FAUDES_TYPE_TIMPLEMENTATION_CAST : cfl_types.h
• FAUDES_TYPE_TIMPLEMENTATION_COPY : cfl_types.h
• FAUDES_TYPE_TIMPLEMENTATION_EQUAL : cfl_types.h
• FAUDES_TYPE_TIMPLEMENTATION_NEW : cfl_types.h
• FAUDES_WRITE_CONSOLE : cfl_definitions.h
• FAUDES_WRITE_DIRECT : cfl_definitions.h
• FD_CONSECUTIVE : cfl_definitions.h
• FD_CV0 : cfl_conflequiv.cpp
• FD_CV1 : cfl_conflequiv.cpp
• FD_DC : cfl_definitions.h
• FD_DD : diag_debug.h
• FD_DF : cfl_definitions.h, syn_sscon.cpp
• FD_DG : cfl_definitions.h
• FD_DH : iop_vdevice.h
• FD_DHT : iop_vdevice.h
• FD_DHV : iop_vdevice.h
• FD_DIO : ios_attributes.h
• FD_DLB : lbp_include.h
• FD_DLINE : cfl_definitions.h
• FD_DREG : cfl_definitions.h
• FD_DRTI : cfl_definitions.h
• FD_DS : sp_executor.h
• FD_DS_SYNC : sp_executor.h
• FD_DV : cfl_definitions.h
• FD_DX : sp_executor.h
• FD_ERR : cfl_definitions.h
• FD_MAXCONTAINERNAME : cfl_definitions.h
• FD_NAMELEN : cfl_definitions.h
• FD_RTIMAXSIG : cfl_definitions.h
• FD_SMALLTRANSREL : cfl_definitions.h
• FD_WARN : cfl_definitions.h
• FD_WP : cfl_definitions.h
• FD_WPC : cfl_definitions.h
• FD_WPD : cfl_definitions.h

- h -

• has_d : luafaudes.cpp
• has_E : luafaudes.cpp
• has_e : luafaudes.cpp
• has_error : luafaudes.cpp
• has_i : luafaudes.cpp
• has_v : luafaudes.cpp
• has_x : luafaudes.cpp
• HIOENVIRONMENT_H : hio_environment.h

- l -

• LITSTR : cfl_utils.cpp
• LOCK_E : iop_sdevice.cpp, iop_simplenet.cpp
• lua_c : lbp_include.h
• lua_exitreadline : luafaudes.cpp
• lua_freeline : luafaudes.cpp
• LUA_INIT_VAR : luafaudes.cpp
• lua_initreadline : luafaudes.cpp
• LUA_INITVARVERSION : luafaudes.cpp
• LUA_MAXINPUT : luafaudes.cpp
• LUA_PROGNAME : luafaudes.cpp
• LUA_PROMPT : luafaudes.cpp
• LUA_PROMPT2 : luafaudes.cpp
• LUA_QL : lbp_include.h
• lua_readline : luafaudes.cpp
• lua_saveline : luafaudes.cpp
• lua_stdin_is_tty : luafaudes.cpp

- m -

• marklen : luafaudes.cpp
• MB_GETBYTE : iop_modbus.cpp
• MB_GETINT : iop_modbus.cpp
• MB_PDUOFF : iop_modbus.cpp
• MB_SETBYTE : iop_modbus.cpp
• MB_SETINT : iop_modbus.cpp
• MODULUS : sp_random.cpp
• MULTIPLIER : sp_random.cpp

- o -

• OP_DF : op_debug.h

- p -

• PCOMPVER_VERB0 : pev_abstraction.h
• PCOMPVER_VERB1 : pev_abstraction.h
• PCOMPVER_VERB2 : pev_abstraction.h

- s -

• setsignal : luafaudes.cpp
• SORT_EXCEPTION : cfl_transset.h
• STREAMS : sp_random.cpp

- t -

• TaEventSet : cfl_nameset.h
• TEMP : cfl_agenerator.h, cfl_attrmap.h, cfl_baseset.h, cfl_basevector.h, cfl_cgenerator.h, cfl_transset.h, omg_rabinaut.h, mtc_generator.h, diag_generator.h, hio_constraint.h, hio_controller.h, hio_environment.h, hio_plant.h, ios_system.h, pev_pgenerator.h, tp_tgenerator.h, tp_tparallel.h
• TGEN1 : tp_tparallel.h
• TGEN2 : tp_tparallel.h
• TGENR : tp_tparallel.h
• THIS : cfl_agenerator.h, cfl_attrmap.h, cfl_baseset.h, cfl_basevector.h, cfl_cgenerator.h, cfl_transset.h, omg_rabinaut.h, mtc_generator.h, diag_generator.h, hio_constraint.h, hio_controller.h, hio_environment.h, hio_plant.h, ios_system.h, pev_pgenerator.h, pev_priorities.h, tp_tgenerator.h
• TLOCK_E : iop_sdevice.cpp, iop_simplenet.cpp
• TUNLOCK_E : iop_sdevice.cpp, iop_simplenet.cpp

- u -

• UNLOCK_E : iop_sdevice.cpp, iop_simplenet.cpp

- x -

• XLITSTR : cfl_utils.cpp