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

- h -

• HANDLE : CHIRRTLVisitors.h, FIREmitter.cpp, VerifVisitors.h, SVVisitors.h, SMTVisitors.h, RTGVisitors.h, LTLVisitors.h, HWVisitors.h, Visitor.h, FIRRTLVisitors.h, CombVisitors.h
• HANDLE_OP : ExportSMTLIB.cpp