- a -

• attribute__ : compilerMacros.h

- l -

• Likely : compilerMacros.h
• Likely1 : compilerMacros.h

- u -

• Unlikely : compilerMacros.h

- v -

• vallst_ggcditEdgeToLit : vallstAPI.h
• vallst_ggcditLitToEdge : vallstAPI.h
• vallst_ggcditLitToEdgeFst : vallstAPI.h
• VallstFormulaN_MAX : vallstAPI.h
• VallstFormulaN_undef : vallstAPI.h
• VallstFormulaType_clause : vallstAPI.h
• VallstFormulaType_equivalence : vallstAPI.h
• VallstFormulaType_erased : vallstAPI.h
• VallstFormulaType_ggcdiTour : vallstAPI.h
• VallstFormulaType_moreThan : vallstAPI.h
• VallstFormulaType_moreThanDis : vallstAPI.h
• VallstFormulaType_moreThanMult : vallstAPI.h
• VallstFormulaType_negEquivalence : vallstAPI.h
• VallstLiteral_MAX : vallstAPI.h
• VallstLiteralN_fileError : vallstAPI.h
• VallstLiteralN_noPrologueNrOfVars : vallstAPI.h
• VallstLiteralN_parseError : vallstAPI.h
• VallstProblemType_atsp : vallstAPI.h
• VallstProblemType_default : vallstAPI.h
• VallstProblemType_pb : vallstAPI.h
• VallstProblemType_tsp : vallstAPI.h
• VallstProblemType_undef : vallstAPI.h
• VallstVerbosity_branchingDetails : vallstAPI.h
• VallstVerbosity_emptyClauseWarning : vallstAPI.h
• VallstVerbosity_equConversionNotice : vallstAPI.h
• VallstVerbosity_failedProofImprovementNotice : vallstAPI.h
• VallstVerbosity_hashDetails : vallstAPI.h
• VallstVerbosity_hashInfo : vallstAPI.h
• VallstVerbosity_ignoredContradictionNotice : vallstAPI.h
• VallstVerbosity_lesserError : vallstAPI.h
• VallstVerbosity_lesserHashError : vallstAPI.h
• VallstVerbosity_midairPruneDetails : vallstAPI.h
• VallstVerbosity_midairPruneNotice : vallstAPI.h
• VallstVerbosity_nonAxInfo : vallstAPI.h
• VallstVerbosity_optimizeInfo : vallstAPI.h
• VallstVerbosity_parseError : vallstAPI.h
• VallstVerbosity_printEstimatedPrologues : vallstAPI.h
• VallstVerbosity_printModel : vallstAPI.h
• VallstVerbosity_printPrologues : vallstAPI.h
• VallstVerbosity_printResult : vallstAPI.h
• VallstVerbosity_printSeed : vallstAPI.h
• VallstVerbosity_printSettings : vallstAPI.h
• VallstVerbosity_progressDetails : vallstAPI.h
• VallstVerbosity_proofImprovementDetails : vallstAPI.h
• VallstVerbosity_redundancyNotice : vallstAPI.h
• VallstVerbosity_restartDetails : vallstAPI.h
• VallstVerbosity_searchDetails : vallstAPI.h
• VallstVerbosity_simpProgressDetails : vallstAPI.h
• VallstVerbosity_theoryMemNotice : vallstAPI.h
• VallstVerbosity_time : vallstAPI.h
• VallstVerbosity_varExtensionWarning : vallstAPI.h
• VallstVerbosity_varsSet : vallstAPI.h

---