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

- s -

• s_AplAfter : reoCore.c
• s_AplBefore : reoCore.c
• s_Classes4a : acecMult.c
• s_Classes4b : acecMult.c
• s_Classes4c : acecMult.c
• s_Count2 : ifDec16.c
• s_Count3 : ifDec16.c
• s_Counter : giaCSat.c
• s_Counter2 : giaCTas.c
• s_Counter3 : giaCTas.c
• s_Counter4 : giaCTas.c
• s_CubesFree : exorCubes.c
• s_Data1 : darData.c
• s_Data2 : darData.c
• s_Data3 : darData.c
• s_DiffVarNum : exorBits.c, exorList.c
• s_DiffVarValueP_new : exorBits.c, exorList.c
• s_DiffVarValueP_old : exorBits.c, exorList.c
• s_DiffVarValueQ : exorBits.c, exorList.c
• s_Distance : exorList.c
• s_ELMax : exorLink.c
• s_ELnCubes : exorLink.c
• s_ELnGroups : exorLink.c
• s_EncComputeTime : casDec.c
• s_EncodingTime : casDec.c
• s_EncSearchTime : casDec.c
• s_fDecreaseLiterals : exor.c, exorList.c
• s_fInterrupt : utilMem.c, utilMem.h
• s_FraigPrimes : fraigInt.h, fraigPrime.c
• s_fVerbose : mvcDivide.c
• s_MappingMem : ivyFastMap.c, abcPrint.c, fpgaCore.c
• s_MappingTime : ivyFastMap.c, abcPrint.c, fpgaCore.c, ifCore.c, ifSeq.c
• s_nDataSize1 : darData.c
• s_nDataSize2 : darData.c
• s_nDataSize3 : darData.c
• s_nPosAlloc : exorList.c
• s_nPosMax : exorList.c
• s_pCoverMemory : exorCubes.c
• s_pCubeLast : exorList.c
• s_q : exorList.c
• s_ResubTime : abcOrchestration.c
• s_ResynTime : abcPrint.c, resCore.c
• s_TimeComp : dauMerge.c
• s_vAllocs : utilMem.c, utilMem.h
• s_vFrees : utilMem.c, utilMem.h
• sdbl_t : sdbl.h
• single_expand : espresso.h, globals.c
• skip_make_sparse : espresso.h, globals.c
• solver_l_False : solver.h
• solver_l_True : solver.h
• solver_l_Undef : solver.h
• stable_if_not_profile_mode_dummy : cadical_stable.cpp
• start_time : sharp.c
• startOfSuffixString : ltl_parser.c
• static_bl_desc : trees.c
• static_d_desc : trees.c
• static_dtree : trees.c, trees.h
• static_l_desc : trees.c
• static_ltree : trees.c, trees.h
• summary : espresso.h, globals.c