Here is a list of all variables with links to the classes they belong to:
- i -
- i : FxuHeapDouble, FxuHeapSingle, Kit_Mux_t_, Super2_LibStruct_t_
- i2e : CaDiCaL::Internal
- i_empty : b_queue_t_
- i_first : b_queue_t_
- i_qhead : solver_t_
- iBox : Tim_Box_t_
- iBoxNtk : Bac_Ntk_t_
- iBoxObj : Bac_Ntk_t_
- iCare : Gia_ManSup_t_
- iCexFrame : Wla_Man_t_
- iChoice : Gia_ResbMan_t_
- iClass : Iso_Obj_t_
- iCopy : Acb_Ntk_t_, Bac_Ntk_t_, Bdc_Fun_t_, Cba_Ntk_t_, If_Obj_t_, Rtl_Ntk_t_, Str_Obj_t_, Tim_Box_t_
- iCube : Fxch_SubCube_t_, FxuCube, FxuLit
- iCube1 : FxuPair
- iCube2 : FxuPair
- iCur : Lf_Mem_t_, Mf_Man_t_, Nf_Man_t_, Of_Man_t_, Pf_Man_t_, Tas_Sto_t_
- iCurState : Gia_ManEra_t_
- iCutBest : Gia_Sto_t_, Sbd_Sto_t_, Sdb_Sto_t_
- iCutFunc : If_Cut_t_
- iCutH : Of_Obj_t_
- iCutH2 : Of_Obj_t_
- iCutSet : Mf_Obj_t_
- ID : cube
- Id : Abc_Ntk_t_, Abc_Obj_t_, Acb_Ntk_t_, Aig_Obj_t_, Aig_Tru_t_, Amap_Gat_t_, Amap_Nod_t_, Amap_Obj_t_, Au_Ntk_t_, Bbl_Obj_t_, Cba_Ntk_t_, Cof_Obj_t_, Dss_Obj_t_, Fxch_SubCube_t_, Hop_Obj_t_, If_Box_t_, If_DsdObj_t_, If_Obj_t_, Iso_Obj_t_, Ivy_Obj_t_, Kit_DsdObj_t_, Llb_Grp_t_, Lpk_Fun_t_, Mig_Fan_t_, Mio_Cell2_t_, Mio_Cell_t_, Nwk_Obj_t_, Nwk_Vrt_t_, Pr_Cls_t_, Rtm_Obj_t_, Rwr_Node_t_, Rwt_Node_t_, satset_t, SC_Cell_, Sto_Cls_t_, Str_Mux_t_, Tas_Var_t_, Tim_Obj_t_
- id : CaDiCaL::Bin, CaDiCaL::Clause, CaDiCaL::CompactBinary, CaDiCaL::HashId, CaDiCaL::IdrupClause, CaDiCaL::LidrupClause, CaDiCaL::LitIdPair, CaDiCaL::LratCheckerClause, CaDiCaL::proof_clause, CaDiCaL::Quotient, CaDiCaL::sweep_binary, CaDiCaL::sweep_blocked_clause, NodeLag_T_, quotient, rrr::Action, rrr::Scheduler< Ntk, Opt, Par >::Job
- ID1 : que
- id1 : CaDiCaL::Rewrite
- ID2 : que
- id2 : CaDiCaL::Rewrite
- IdAig : Tas_Var_t_
- iData : Abc_Obj_t_, Aig_Obj_t_, Amap_Obj_t_, Gia_Man_t_, Gia_ManSup_t_, Hop_Obj_t_, Hsh_IntObj_t_
- iData0 : Hash_IntObj_t_
- iData1 : Hash_IntObj_t_
- iData2 : Gia_Man_t_, Hash_IntObj_t_
- iDelayAve : Mio_Cell2_t_
- iDelays : Mio_Cell2_t_
- iDelayTable : Tim_Box_t_
- iDep : saucy
- iDiff0 : Aig_CMan_t_, Gia_Obj_t_
- iDiff1 : Aig_CMan_t_, Gia_Obj_t_
- IdPio : Amap_Obj_t_, If_Obj_t_
- iDsd : Dss_Fun_t_
- iDsd0 : Dss_Ent_t_
- iDsd1 : Dss_Ent_t_
- idx : CaDiCaL::DFS, CaDiCaL::sweep_candidate, queue, rrr::Action, sweep_candidate
- idx1 : Rpo_LCI_Edge_t_
- idx2 : Rpo_LCI_Edge_t_
- iEmpty : xSAT_BQueue_t_
- iFailPat : Ssw_RarMan_t_
- iFailPo : Ssw_RarMan_t_
- iFan : Cof_Fan_t_, Shr_Fan_t_
- iFan0 : Amap_Nod_t_, Bdc_Ent_t_, Fsim_Obj_t_, Odc_Obj_t_, Saig_MvAnd_t_, Saig_MvObj_t_, Saig_SimObj_t_
- iFan0g : Bdc_Nod_t_
- iFan0n : Bdc_Nod_t_
- iFan1 : Amap_Nod_t_, Bdc_Ent_t_, Fsim_Obj_t_, Odc_Obj_t_, Saig_MvAnd_t_, Saig_MvObj_t_, Saig_SimObj_t_
- iFan1g : Bdc_Nod_t_
- iFan1n : Bdc_Nod_t_
- iFan2 : Amap_Nod_t_
- iFanin : Emb_Obj_t_, Frc_Obj_t_, Gli_Obj_t_
- iFanout : Emb_Obj_t_, Frc_Obj_t_, Gli_Obj_t_
- iFirst : Ifn_Obj_t_, Msat_Queue_t_, Prf_Man_t_, xSAT_BQueue_t_
- iFirst2 : Prf_Man_t_
- iFirstAndObj : Gia_Man_t_
- iFirstNonPiId : Gia_Man_t_
- iFirstPo : Gia_Rsb2Man_t_
- iFirstPoId : Gia_Man_t_
- iFirstPoObj : Gia_Man_t_
- iFrame : Abc_Cex_t_, Abs_Par_t_, Bmc_AndPar_t_, Bmc_BCorePar_t_, Gia_ParLlb_t_, Pdr_Obl_t_, Pdr_Par_t_, Saig_ParBbr_t_, Saig_ParBmc_t_, Vta_Obj_t_
- iFrameFail : Saig_Bmc_t_
- iFrameLast : Saig_Bmc_t_
- iFrameMax : Int2_ManPars_t_, Inter_ManParams_t_
- iFramePrev : Saig_Bmc_t_
- iFrameProved : Abs_Par_t_
- iFunc : Bal_Cut_t_, Bbl_Ent_t_, Dec_Node_t_, Gia_Cut_t_, Jf_Cut_t_, Kit_Node_t_, Lf_Cut_t_, Mf_Cut_t_, Mpm_Cut_t_, Nf_Cut_t_, Of_Cut_t_, Pf_Cut_t_, Sbd_Cut_t_, Sdb_Cut_t_
- iGate : Amap_Set_t_
- iGia : Gia_PtrAreInt_t_
- iGiaObj : Gla_Obj_t_
- ignore : CaDiCaL::Internal
- iGunc : Dar_LibDat_t_
- iHandle : Abc_Nam_t_, Au_Ntk_t_
- iHead : Cbs0_Que_t_, Cbs2_Que_t_, Cbs3_Que_t_, Cbs_Que_t_, CbsP_Que_t_, Tas_Que_t_
- iInput : Sim_Man_t_
- iInt : Gia_PtrAreInt_t_
- iLast : Msat_Queue_t_, MvcCubeStruct
- iLastConst : Cec4_Man_t_, Cec5_Man_t_
- ilbsuccess : CaDiCaL::Stats
- ilbtriggers : CaDiCaL::Stats
- iLine : Amap_Item_t_, Scl_Item_t_
- iList : Bdc_Ent_t_
- iLit : Cof_Obj_t_, Gia_ObjSat2_t_
- iLit0 : Fxch_SubCube_t_
- iLit1 : Fxch_SubCube_t_
- iLits : Gia_Man2Min_t_
- iMat : Amap_Cut_t_
- iModuleName : Prs_Ntk_t_, Psr_Ntk_t_
- implicants : CaDiCaL::definition_extractor
- import : cadical_kitten, kissat, kitten
- imported : import
- improvedglue : CaDiCaL::Stats
- in : cost_struct, gz_state
- inactive : CaDiCaL::Stats
- inc : CaDiCaL::Internal
- inc_reduce : satoko_opts
- inc_special_reduce : satoko_opts
- inconsistent : cadical_kitten, kissat, kitten
- incReduceDB : Gluco2::Solver, Gluco::Solver
- incremental : Gluco2::Solver, Gluco::Solver
- index : MtrNode, st__generator, stmm_generator
- indexed : CaDiCaL::Gate, gate
- indices : heap_t_
- indmark : saucy
- indmin : saucy
- iNext : Aig_Man_t_, Bbl_Ent_t_, Bdc_Ent_t_, Cof_Obj_t_, Gia_ObjEra_t_, Gia_StaAre_t_, Hash_IntObj_t_, Hsh_IntObj_t_, Hsh_VecObj_t_, Iso_Obj_t_, Mmr_Flex_t_, Npn_Obj_t_, Nwk_Vrt_t_, Odc_Obj_t_, Saig_MvAnd_t_, Tas_Cls_t_, Vta_Obj_t_
- iNextPi : Gia_Man_t_
- Init : Io_BlifObj_t_, Ivy_Obj_t_
- init : Abc_FrameInitializer_t_
- initial : CaDiCaL::Factoring, factoring
- initialisedOk : bzFile
- initialized : averages, CaDiCaL::Limit, cadical_kitten, kitten
- initialPositions : Gluco2::Solver, Gluco::Solver
- inmask : cube_struct
- iNode : Aig_CMan_t_, Aig_Cut_t_, Csw_Cut_t_, Fsim_Obj_t_
- iNode1 : Nwk_Edg_t_
- iNode2 : Nwk_Edg_t_
- iNodeLast : Ssw_Man_t_
- iNodeOne : Acb_Par_t_, Sfm_Par_t_
- iNodePrev : Fsim_Man_t_
- iNodeStart : Ssw_Man_t_
- Inouts : Tim_Box_t_
- inprobe : CaDiCaL::Last, CaDiCaL::Limit
- inprobesuccess : CaDiCaL::Stats
- inprobingphases : CaDiCaL::Stats
- Input : Sim_Pat_t_
- Ins : Amap_Set_t_
- ins_h : internal_state
- insertions : CaDiCaL::Checker, CaDiCaL::LratChecker
- inspects : stats_t
- inst_chain : CaDiCaL::Internal
- instantiate : CaDiCaL::Stats
- instantiated : CaDiCaL::Clause, CaDiCaL::Stats
- instried : CaDiCaL::Stats
- instrounds : CaDiCaL::Stats
- internal : CaDiCaL::analyze_bumped_rank, CaDiCaL::analyze_bumped_smaller, CaDiCaL::analyze_trail_larger, CaDiCaL::analyze_trail_negative_rank, CaDiCaL::block_more_occs_size, CaDiCaL::Closure, CaDiCaL::congruence_occurrences_larger, CaDiCaL::congruence_occurrences_rank, CaDiCaL::definition_extractor, CaDiCaL::elim_more, CaDiCaL::Eliminator, CaDiCaL::External, CaDiCaL::factor_occs_size, CaDiCaL::Factoring, CaDiCaL::Internal, CaDiCaL::litpair_rank, CaDiCaL::litpair_smaller, CaDiCaL::Mapper, CaDiCaL::minimize_trail_level_positive_rank, CaDiCaL::minimize_trail_level_smaller, CaDiCaL::minimize_trail_positive_rank, CaDiCaL::minimize_trail_smaller, CaDiCaL::probe_negated_noccs_rank, CaDiCaL::score_smaller, CaDiCaL::shrink_trail_larger, CaDiCaL::shrink_trail_negative_rank, CaDiCaL::sort_assumptions_positive_rank, CaDiCaL::sort_assumptions_smaller, CaDiCaL::sort_literals_by_var_rank, CaDiCaL::sort_literals_by_var_rank_except, CaDiCaL::sort_literals_by_var_smaller, CaDiCaL::sort_literals_by_var_smaller_except, CaDiCaL::Stats, CaDiCaL::subsume_less_noccs, CaDiCaL::Sweeper, CaDiCaL::vivify_better_watch, CaDiCaL::vivify_clause_later, CaDiCaL::vivify_more_noccs, CaDiCaL::vivify_more_noccs_kissat, CaDiCaL::Walker
- intersection : CaDiCaL::Coveror
- interval : CaDiCaL::Delay, limits
- iNum : Bbr_ImageVar_t_, Extra_ImageVar_t_
- iNumber : Fsim_Man_t_
- inUse : DState, EState
- inUse16 : DState
- InvArea : Pf_Man_t_
- InvAreaF : Nf_Man_t_
- InvAreaW : Nf_Man_t_
- InvDelay : Pf_Man_t_
- InvDelayI : Nf_Man_t_
- inVec : sim_result
- inVecSignature : sim_result
- inverted : CaDiCaL::Stats
- inword : cube_struct
- io : eSLIM::Subcircuit
- iObj : Dar_Lib_t_, Spl_Man_t_, Vta_Obj_t_, Wlc_Ntk_t_
- iObj2Box : Tim_Obj_t_
- iObj2Num : Tim_Obj_t_
- iObjData : Gli_Man_t_
- iObjNext : Io_BlifMan_t_
- iOffset : Str_Obj_t_
- iOut : Cec_ManSim_t_, Sec_MtrStatus_t_
- iOutCur : Pdr_Man_t_
- iOutFail : Acec_ParCec_t_, Cec_ParCec_t_, Cec_ParFra_t_, Gia_ManAre_t_, Gia_ParSim_t_
- iOutput : Bmc_BCorePar_t_, Sym_Man_t_, Wlc_BstPar_t_
- iOutputFail : Saig_Bmc_t_
- iOutputLast : Saig_Bmc_t_
- iOutputLit : Ssw_Man_t_
- iPage : Mig_Man_t_, Sat_Mem_t_, Vec_Mem_t_, Vec_Set_t_
- iPageS : Vec_Set_t_
- iPart : Bbr_ImagePart_t_, Extra_ImagePart_t_, Llb_Prt_t_
- iPartFree : Llb_Mgr_t_
- iParVarBeg : Qbf_Man_t_
- iPastPiMax : Gia_Man_t_
- iPatCur : Aig_ManPack_t_
- iPatsPerm : Fraig_ManStruct_t_
- iPatsPi : Gia_Man_t_
- iPattern : Gia_Man2Min_t_
- iPivotNode : Sfm_Ntk_t_
- iPo : Abc_Cex_t_
- iPosRead : Cec4_Man_t_, Cec5_Man_t_
- iPosWrite : Cec4_Man_t_, Cec5_Man_t_
- iPrev : Aig_CMan_t_, Aig_Man_t_, Gia_ObjEra_t_, Gia_StaAre_t_, Nwk_Vrt_t_
- iQhead : xSAT_Solver_t_
- iRand : Cec_ManS_t_
- iRepr : Gia_Rpr_t_
- iRoot : Acb_Man_t_, Bac_Man_t_, Cba_Man_t_, Dua_Dsd_t_, Odc_Man_t_
- irredundant : CaDiCaL::Stats
- irrlits : CaDiCaL::Stats
- is_automorphism : saucy
- is_lazy : CaDiCaL::ExternalPropagator
- is_observed : CaDiCaL::External
- is_unate : cdata_struct
- iSeed : rrr::Parameter, rrr::Scheduler< Ntk, Opt, Par >::Job
- IsfAL : Bdc_Man_t_
- IsfAR : Bdc_Man_t_
- IsfOL : Bdc_Man_t_
- IsfOR : Bdc_Man_t_
- iStaCur : Gia_ManAre_t_
- iStart : Cec_ManPat_t_, TiedGroup_
- iStep : Abc_Ntk_t_
- iSuppPi : Gia_Man_t_
- iTail : Cbs0_Que_t_, Cbs2_Que_t_, Cbs3_Que_t_, Cbs_Que_t_, CbsP_Que_t_, Tas_Que_t_
- iTarget : Sfm_Dec_t_
- iTemp : Abc_Obj_t_, Nwk_Obj_t_
- Iter : Lf_Man_t_, Mf_Man_t_, Nf_Man_t_, Of_Man_t_, Pf_Man_t_
- iterating : CaDiCaL::Internal, kissat
- iteration : MinRegMan_t_
- iteration_count : eSLIM::eSLIMLog
- iterations : eSLIM::eSLIMConfig, eSLIM_ParamStruct_
- ites : CaDiCaL::Stats
- iTimeStamp : Gia_Man_t_
- iTop : Str_Obj_t_
- itpc : Gluco2::Solver
- iTrailPivot : sat_solver2_t, sat_solver3_t, sat_solver_t
- iUseFrame : Pdr_Man_t_
- iUseThis : Sfm_Dec_t_
- iVar : Dau_Dsd_t_, Dss_Obj_t_, Exa3_Man_t_, Exa_Man_t_, Extra_UnateVar_t_, FxuLit, FxuVar, Gia_ObjAre_t_, Llb_Var_t_, Lpk_Set_t_, Maj3_Man_t_, Maj_Man_t_
- iVar1 : Sym_Man_t_
- iVar1Old : Sym_Man_t_
- iVar2 : Sym_Man_t_
- iVar2Old : Sym_Man_t_
- iVarPivot : sat_solver2_t, sat_solver3_t, sat_solver_t
- iVarUsed : Dau_Sto_t_
- iWordPerm : Fraig_ManStruct_t_
- iWordStart : Fraig_ManStruct_t_
