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

- v -

• Var0 : xsatSolver.h
• Var1 : xsatSolver.h
• VAR_ABS : exor.h
• VAR_NEG : exor.h
• VAR_POS : exor.h
• VarUndef : xsatSolver.h
• VarX : xsatSolver.h
• VEC_ATTR_COPY : vecAtt.h
• VEC_ATTR_DATA1 : vecAtt.h
• VEC_ATTR_DATA2 : vecAtt.h
• VEC_ATTR_FRAIG : vecAtt.h
• VEC_ATTR_GLOBAL_AIG : vecAtt.h
• VEC_ATTR_GLOBAL_BDD : vecAtt.h
• VEC_ATTR_GLOBAL_SOP : vecAtt.h
• VEC_ATTR_LEVEL : vecAtt.h
• VEC_ATTR_LEVEL_REV : vecAtt.h
• VEC_ATTR_LOCAL_AIG : vecAtt.h
• VEC_ATTR_LOCAL_BDD : vecAtt.h
• VEC_ATTR_LOCAL_SOP : vecAtt.h
• VEC_ATTR_MVVAR : vecAtt.h
• VEC_ATTR_NONE : vecAtt.h
• VEC_ATTR_RETIME_LAG : vecAtt.h
• VEC_ATTR_TOTAL_NUM : vecAtt.h
• VER_GATE_AND : verCore.c
• VER_GATE_BUF : verCore.c
• VER_GATE_NAND : verCore.c
• VER_GATE_NOR : verCore.c
• VER_GATE_NOT : verCore.c
• VER_GATE_OR : verCore.c
• VER_GATE_XNOR : verCore.c
• VER_GATE_XOR : verCore.c
• VER_SIG_INOUT : verCore.c
• VER_SIG_INPUT : verCore.c
• VER_SIG_NONE : verCore.c
• VER_SIG_OUTPUT : verCore.c
• VER_SIG_REG : verCore.c
• VER_SIG_WIRE : verCore.c
• vs0 : exorLink.c
• vs1 : exorLink.c
• vsX : exorLink.c