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

- x -

• XAIG_VERBOSE : giaAiger.c
• XOR_GATE : congruence.c
• XVS0 : abcXsim.c
• XVS1 : abcXsim.c
• XVSX : abcXsim.c