Here is a list of all class members with links to the classes they belong to:

- f -

• F : Gia_ObjAre_t_, Nf_Mat_t_, PLA_t
• f : bz2file, qps_problem
• f_deletable : clause
• f_learnt : clause
• f_mark : clause
• f_reallocd : clause
• f_rst : satoko_opts
• fA : Pr_Cls_t_, Sto_Cls_t_
• fAbs : Gla_Obj_t_
• fAbs2 : Wlc_Par_t_
• FACTOR : CaDiCaL::Internal
• factor : CaDiCaL::Flags, CaDiCaL::Internal, CaDiCaL::Last, CaDiCaL::Quotient, CaDiCaL::Stats, flags, limits, quotient
• factor_added : CaDiCaL::Stats
• factor_mode() : CaDiCaL::Internal
• factor_occs_size() : CaDiCaL::factor_occs_size
• factored : CaDiCaL::Stats
• Factoring() : CaDiCaL::Factoring
• factorize_next() : CaDiCaL::Internal
• factors : sat_solver3_t, sat_solver_t
• fAddBufs : SC_BusPars_
• fAdded : Vta_Obj_t_
• fAddLayer : Abs_Par_t_
• fAddOrCla : Jf_Par_t_
• fAddOutputs : Wlc_BstPar_t_
• fAddStrash : Aig_Man_t_, Gia_Man_t_
• fAdjust : Cut_ParamsStruct_t_
• fADratio : Amap_Par_t_
• failed() : CaDiCaL::External, CaDiCaL::Flags, CaDiCaL::Internal, CaDiCaL::Solver, CaDiCaL::Stats, cadical_kitten, kitten
• failed_constraint() : CaDiCaL::External, CaDiCaL::Internal
• failed_literal() : CaDiCaL::Internal
• failing() : CaDiCaL::Internal, cadical_kitten, kitten
• Fall : Abc_Time_t_, Map_TimeStruct_t_
• fall : SC_Pair_, SC_PairI_
• fall_cap : SC_Pin_
• fall_capI : SC_Pin_
• fAllBoxes : Sfm_Par_t_
• False : Abc_ZddObj_
• Fan : Amap_Obj_t_, Str_Edg_t_
• Fan0 : Dar_LibObj_t_, Ivy_Dec_t_, Ivy_Eval_t_
• Fan1 : Dar_LibObj_t_, Ivy_Dec_t_, Ivy_Eval_t_
• Fan2 : Ivy_Dec_t_
• Fan3 : Ivy_Dec_t_
• Fan4 : Ivy_Dec_t_
• Fan5 : Ivy_Dec_t_
• fAnd : Gla_Obj_t_
• fAndCut : If_Cut_t_
• FanDel : Str_Edg_t_
• Fanins : Au_Obj_t_, Gla_Obj_t_, Ifn_Obj_t_, Wlc_Obj_t_
• FaninSig : Iso_Obj_t_
• Fanios : Cof_Obj_t_, Emb_Obj_t_, Frc_Obj_t_, Gli_Obj_t_
• FanoutSig : Iso_Obj_t_
• Fans : Amap_Cut_t_
• fAppend : Ssc_Pars_t_
• fArea : Acb_Par_t_, If_Par_t_, Mfs_Par_t_, Res_Par_t_, Sbd_Par_t_, Sfm_Par_t_
• fAreaGain : Fpga_ManStruct_t_
• fAreaGlo : Fpga_ManStruct_t_
• fAreaInv : Amap_Man_t_
• fAreaOnly : Cgt_Par_t_, If_Par_t_, Jf_Par_t_
• fAreaRecovery : Fpga_ManStruct_t_, Map_ManStruct_t_
• fAreaRev : Sfm_Par_t_
• fAssign : Tas_Var_t_
• fast : CaDiCaL::Averages
• fast_glue : averages
• fastclear() : Gluco2::bqueue< T >, Gluco::bqueue< T >
• fasteliminated : CaDiCaL::Stats
• fAsyncRst : Wlc_Ntk_t_
• fAuto : Rtm_Obj_t_
• fAutoexac : Abc_Frame_t_
• fBackward : Gia_ParLlb_t_
• fBackwardOnly : MinRegMan_t_
• fBasic : Bmc_ParFf_t_
• fBatchMode : Abc_Frame_t_
• fBddReorder : Prove_ParamsStruct_t_
• fBest : Dar_Cut_t_, Nf_Mat_t_
• fBidec : If_Par_t_
• fBlack : If_Box_t_, Tim_Box_t_
• fBlackBox : Io_MvMod_t_
• fBlastNew : Wlc_BstPar_t_
• fBlifMv : Io_MvMan_t_
• fBlockConst : MinRegMan_t_
• fBlocking : Pdr_Par_t_
• fBMiterInfo : Cec_ParFra_t_
• fBooleanMatching : saucy
• fBooth : Acec_ParCec_t_, Wlc_BstPar_t_
• fBox : Bbl_Obj_t_
• fBridgeMode : Abc_Frame_t_
• fBufPis : Buf_Man_t_, SC_BusPars_
• fBuilt : Ttopt::TruthTableReo
• fBuiltInSim : Gia_Man_t_
• fc : ct_data_s
• fCalledOnce : Lpk_Man_t_
• fCallProver : Abs_Par_t_
• fCanBeDel : xSAT_Clause_t_
• fCanonDivs : Fx_Man_t_, FxuDataStruct
• fCard : Bmc_EsPar_t_
• fCascade : Ifif_Par_t_
• fCatchExor : Aig_Man_t_, Hop_Man_t_, Ivy_Man_t_
• fChange : MvCommand
• fCheck : Ver_Man_t_
• fCheckClauses : Wlc_Par_t_
• fCheckCombUnsat : Wlc_Par_t_
• fCheckKstep : Inter_ManParams_t_
• fCheckMiter : Cec_ParFra_t_, Cec_ParSat_t_, Cec_ParSim_t_, Cec_ParSmf_t_, Fsim_ParSim_t_, Gia_ParSim_t_
• fCheckUntest : Bmc_ParFf_t_
• fChoicing : Fra_Par_t_, Fraig_ManStruct_t_, Fraig_ParamsStruct_t_
• fCi : Bbl_Obj_t_, Emb_Obj_t_, Frc_Obj_t_
• fCla : Wlc_BstPar_t_
• fClauses : Fraig_NodeStruct_t_
• fCluster : Emb_Par_t_, Gia_ParLlb_t_
• fCnfMapping : Jf_Par_t_
• fCnfObjIds : Jf_Par_t_
• fCo : Bbl_Obj_t_, Emb_Obj_t_, Frc_Obj_t_
• fCoarsen : Jf_Par_t_
• fCofactoring : Lpk_Man_t_
• fColorA : Gia_Rpr_t_
• fColorB : Gia_Rpr_t_
• fColorDiff : Cec_ParFra_t_
• fComb : Acb_Ntk_t_, Cba_Ntk_t_
• fComp : Hash_Gen_t_
• fCompl : Bdc_Ent_t_, Cof_Fan_t_, Cut_CutStruct_t_, Dau_Dsd_t_, Dec_Edge_t_, If_Cut_t_, Ivy_Dec_t_, Kit_Edge_t_, Mig_Fan_t_, Mpm_Cut_t_, Nf_Cfg_t_, Nf_Mat_t_, Pf_Mat_t_, Rwr_Man_t_, Rwt_Man_t_, Str_Edg_t_
• fCompl0 : Abc_EnuMan_t_, Abc_Obj_t_, Bdc_Ent_t_, Cut_ManStruct_t_, Dar_LibObj_t_, Dec_Node_t_, Gia_Obj_t_, Gla_Obj_t_, If_Obj_t_, Kit_Node_t_, Rtm_Obj_t_, Tas_Var_t_, Unr_Obj_t_
• fCompl1 : Abc_EnuMan_t_, Abc_Obj_t_, Bdc_Ent_t_, Cut_ManStruct_t_, Dar_LibObj_t_, Dec_Node_t_, Gia_Obj_t_, If_Obj_t_, Kit_Node_t_, Rtm_Obj_t_, Tas_Var_t_, Unr_Obj_t_
• fComplVars : Bmc_ParFf_t_
• fCompressAig : Fsim_ParSim_t_
• fComputeInitState : MinRegMan_t_
• fConeBias : Fra_Par_t_
• fConservTimingOnly : MinRegMan_t_
• fConst : Dec_Graph_t_, Gla_Obj_t_, Kit_Graph_t_
• fConst0 : Res_Sim_t_
• fConst1 : Res_Sim_t_
• fConstCorr : Cec_ParCor_t_, Cec_ParSim_t_, Ssw_Cla_t_, Ssw_Pars_t_
• fConstr : Gia_ParAbs_t_
• fConstrs : Ssw_Pars_t_
• fConsts : Cec_ParSeq_t_
• fCountOnes : NewBdd::Param, NewTt::Param, rrr::NewBdd::Param
• fCover : Sbd_Par_t_
• fCreateMiter : Wlc_BstPar_t_
• fCreatePios : Aig_Man_t_
• fCreateWordMiter : Wlc_BstPar_t_
• fCtgs : Pdr_Par_t_
• fCut : Gps_Par_t_
• fCutGroup : Jf_Par_t_
• fCutHashing : Jf_Par_t_
• fCutMin : Bal_Man_t_, Gia_Sto_t_, If_Par_t_, Jf_Par_t_, Mpm_Par_t_, Sbd_Sto_t_, Sdb_Sto_t_, Str_Man_t_
• fCutSimple : Jf_Par_t_
• fd : gz_state
• fDag : Cut_ParamsStruct_t_
• fDebug : Gia_ResbMan_t_, Gia_Rsb2Man_t_
• fDecMuxes : Wlc_BstPar_t_
• fDecStructure : Ses_Man_t_
• fDef : Io_BlifObj_t_
• fDelay : Mfs_Par_t_, Res_Par_t_, Sbl_Man_t_, Seg_Man_t_, Sfm_Lib_t_
• fDelayDirect : Abc_LutCas_t_
• fDelayLut : Abc_LutCas_t_
• fDelayOpt : If_Par_t_
• fDelayOptLut : If_Par_t_
• fDelayRoute : Abc_LutCas_t_
• fDelayVerbose : Sfm_Par_t_
• fDelayWindow : Fpga_ManStruct_t_
• fDeriveLuts : If_Par_t_, Mpm_Par_t_
• fDeterministic : rrr::Parameter
• fDisableSt : Gia_ParFra_t_
• fDist1Pats : Fraig_ManStruct_t_, Fraig_ParamsStruct_t_
• fDivBy0 : Wlc_BstPar_t_
• fDoAverage : If_Par_t_, Jf_Par_t_
• fDontShowBar : Fra_Par_t_
• fDoSparse : Fra_Par_t_, Fraig_ManStruct_t_, Fraig_ParamsStruct_t_, Ivy_FraigParams_t_
• fDriver : If_Obj_t_
• fDrop : Cut_ParamsStruct_t_
• fDropInvar : Int2_ManPars_t_, Inter_ManParams_t_
• fDropSatOuts : Inter_ManParams_t_, Saig_ParBmc_t_, Ssw_RarPars_t_
• fDsdBalance : If_Par_t_
• fDualOut : Cec_ParFra_t_, Cec_ParSim_t_, Cec_ParSmf_t_
• fDualOutput : Acec_ParCec_t_
• fDump : Bmc_ParFf_t_, Emb_Par_t_
• fDumpBmc : Tst_Dat_t_
• fDumpCnf : Bmc_EsPar_t_
• fDumpDelay : Bmc_ParFf_t_
• fDumpFinal : Bmc_MulPar_t_
• fDumpFrames : Bmc_AndPar_t_
• fDumpInv : Pdr_Par_t_
• fDumpLarge : Emb_Par_t_
• fDumpMabs : Abs_Par_t_
• fDumpNewFaults : Bmc_ParFf_t_
• fDumpReached : Gia_ParLlb_t_
• fDumpSRInit : Ssw_Pars_t_
• fDumpStats : SC_SizePars_
• fDumpUntest : Bmc_ParFf_t_
• fDumpVabs : Abs_Par_t_
• fDynamic : Gia_ParAbs_t_, Ssw_Pars_t_
• fDynConstr : Bmc_EsPar_t_
• fEasyFfs : Wlc_Ntk_t_
• fEdge : If_Par_t_
• fEdgeCenter : Frc_Obj_t_
• fEec : Cec5_Man_t_
• feedthrough : Bnd_Man_t_
• fEmpty : que
• fEnableCheck07 : If_Par_t_
• fEnableCheck08 : If_Par_t_
• fEnableCheck10 : If_Par_t_
• fEnableCheck75 : If_Par_t_
• fEnableCheck75u : If_Par_t_
• fEnableStructN : If_Par_t_
• fEnumSols : Bmc_EsPar_t_
• fEpsilon : Amap_Par_t_, Fpga_ManStruct_t_, If_Man_t_, Map_ManStruct_t_
• fEpsilonInternal : Amap_Man_t_
• fEquivDump : Ssw_Pars_t_
• fEquivDump2 : Ssw_Pars_t_
• fEquivs : Cec_ParSeq_t_
• fError : Io_ReadBlif_t_, Ver_Man_t_
• fEssen : MvcCubeStruct
• fExclude : Map_SuperStruct_t_
• fExFan : Ivy_Obj_t_
• fExor : Abc_Obj_t_, Bdc_Ent_t_, Rwr_Node_t_, Rwt_Node_t_
• fExpRed : If_Par_t_
• fExtend : Dar_RefPar_t_
• fExtractVerbose : Ses_Man_t_
• fFail : Clu_Man_t_
• fFailed : Gia_Rpr_t_
• fFailTfo : Fraig_NodeStruct_t_, Ivy_Obj_t_
• fFancy : Cut_ParamsStruct_t_, If_Par_t_
• fFanout : Dar_RwrPar_t_, Ivy_Man_t_
• fFeedBack : Fraig_ManStruct_t_, Fraig_ParamsStruct_t_
• fFeedUse : Fraig_NodeStruct_t_
• fFeedVal : Fraig_NodeStruct_t_
• fFewerVars : Bmc_EsPar_t_
• fFfNdOnly : Tst_Dat_t_
• fFfOnly : Bmc_ParFf_t_
• fFilter : Cut_ParamsStruct_t_
• fFiltering : Clu_Man_t_
• fFindDivs : Sbd_Par_t_
• fFirst : Lpk_Par_t_
• fFixed : Gia_Plc_t_
• fFlopOnly : Tst_Dat_t_
• fFlopOrder : Pdr_Par_t_
• fFlopPrio : Pdr_Par_t_
• fFlopVerbose : Ssw_Pars_t_
• fForwardOnly : MinRegMan_t_
• fFraiging : Fra_Sec_t_, Fra_Ssw_t_
• fFreeInvs : Amap_Par_t_
• fFreeKey : Hash_Gen_t_
• fFuncDsd : Jf_Par_t_
• fFuncOnly : Lms_Man_t_
• fFuncRed : Fraig_ManStruct_t_, Fraig_ParamsStruct_t_
• fGenCnf : Jf_Par_t_
• fGenLit : Jf_Par_t_
• fGiaSat : Mfs_Par_t_
• fGiaSimple : Gia_Man_t_, Wlc_BstPar_t_
• fGlobal : Cut_ParamsStruct_t_
• fGlucose : Bmc_EsPar_t_
• fGreedy : rrr::Parameter
• fGuaranteeInitState : MinRegMan_t_
• fHasC0s : Prs_Ntk_t_, Psr_Ntk_t_
• fHasC1s : Prs_Ntk_t_, Psr_Ntk_t_
• fHasCXs : Prs_Ntk_t_, Psr_Ntk_t_
• fHasCZs : Prs_Ntk_t_, Psr_Ntk_t_
• fHasDsd : Lpk_Cut_t_
• fHash : Hash_Flt_t_, Hash_Gen_t_, Hash_Int_t_, Hash_Ptr_t_
• fHashMapping : If_Par_t_
• fHasMux : Amap_Lib_t_
• fHasXor : Amap_Lib_t_
• fHaveDefInArr : Io_ReadBlif_t_
• fHaveDefInDri : Io_ReadBlif_t_
• fHaveDefOutLoad : Io_ReadBlif_t_
• fHaveDefOutReq : Io_ReadBlif_t_
• fHiePath : Abc_Ntk_t_
• fHieVisited : Abc_Ntk_t_
• fHitResLimit : Ses_Man_t_
• fHybrid : Wlc_Par_t_
• fi : rrr::Action
• Fi0Lev : Iso_Dat_t_
• FI1 : Dtt_FunImpl_t_
• Fi1Lev : Iso_Dat_t_
• FI2 : Dtt_FunImpl_t_
• file : CaDiCaL::WitnessWriter, file
• file_tracers : CaDiCaL::Internal
• filename : PLA_t
• FileTracer() : CaDiCaL::FileTracer
• fill_subcircuits : eSLIM::eSLIMConfig, eSLIM_ParamStruct_
• fImplicationTime : Cec_ParSimGen_t_
• final_conflict : solver_t_
• FinalArea : If_Par_t_
• FinalDelay : If_Par_t_
• finalize() : CaDiCaL::Internal
• finalize_clause() : CaDiCaL::Checker, CaDiCaL::DratTracer, CaDiCaL::FratTracer, CaDiCaL::IdrupTracer, CaDiCaL::LidrupTracer, CaDiCaL::LratChecker, CaDiCaL::LratTracer, CaDiCaL::Proof, CaDiCaL::Tracer, CaDiCaL::VeripbTracer
• finalize_external_unit() : CaDiCaL::Proof
• finalize_unit() : CaDiCaL::Proof
• finalized : CaDiCaL::LratChecker
• fIncrSim : Gia_Man_t_
• find_and_gate() : CaDiCaL::Internal
• find_and_lits() : CaDiCaL::Closure
• find_binary() : CaDiCaL::Closure
• find_binary_clause() : CaDiCaL::Internal
• find_clause() : CaDiCaL::Internal
• find_conditional_equivalences() : CaDiCaL::Closure
• find_conflict_level() : CaDiCaL::Internal
• find_definition() : CaDiCaL::Internal
• find_eager_representative() : CaDiCaL::Closure
• find_eager_representative_and_compress() : CaDiCaL::Closure
• find_eager_representative_lrat() : CaDiCaL::Closure
• find_equivalence() : CaDiCaL::Internal
• find_equivalences() : CaDiCaL::Closure
• find_first_and_gate() : CaDiCaL::Closure
• find_gate_clauses() : CaDiCaL::Internal
• find_gate_lits() : CaDiCaL::Closure
• find_if_then_else() : CaDiCaL::Internal
• find_ite_gate() : CaDiCaL::Closure
• find_large_xor_side_clause() : CaDiCaL::Closure
• find_lit_implication_second_literal() : CaDiCaL::Closure
• find_lrat_representative_with_marks() : CaDiCaL::Closure
• find_program() : CaDiCaL::File
• find_remaining_and_gate() : CaDiCaL::Closure
• find_representative() : CaDiCaL::Closure
• find_representative_and_compress() : CaDiCaL::Closure
• find_representative_and_compress_both() : CaDiCaL::Closure
• find_representative_lrat() : CaDiCaL::Closure
• find_subsuming_clause() : CaDiCaL::Closure
• find_ternary_clause() : CaDiCaL::Internal
• find_units() : CaDiCaL::Closure
• find_xor_gate() : CaDiCaL::Closure, CaDiCaL::Internal
• find_xor_lits() : CaDiCaL::Closure
• fIndConstr : Gia_ParLlb_t_
• FindFanin() : rrr::AndNetwork
• fInduction : Fra_Sec_t_
• finish_added_clause_with_id() : CaDiCaL::Internal
• fInit : Gia_ParFra_t_
• fInternal : Fraig_ParamsStruct_t_
• fInterpolation : Fra_Sec_t_
• fInterSeparate : Fra_Sec_t_
• fInv : Amap_Cut_t_, Amap_Set_t_, Fpga_NodeStruct_t_, Fraig_NodeStruct_t_, Map_NodeStruct_t_
• fInvert : Map_NodeStruct_t_, Nwk_Obj_t_
• first : CaDiCaL::Factoring, CaDiCaL::lit_equivalence, CaDiCaL::lit_implication, CaDiCaL::Queue, CaDiCaL::Sweeper, cadical_kitten, factoring, Int_Pair_t_, kitten, queue, sweeper
• first_clause : CaDiCaL::lit_equivalence
• first_col : sm_matrix_struct, sm_row_struct
• first_factor() : CaDiCaL::Internal
• first_fixed : CaDiCaL::Mapper
• first_fixed_val : CaDiCaL::Mapper
• first_part : cube_struct
• first_reducible : kissat
• first_row : sm_col_struct, sm_matrix_struct
• first_word : cube_struct
• FirstAndLit : Min_Man_t_
• FirstCoLit : Min_Man_t_
• firstReduceDB : Gluco2::Solver, Gluco::Solver
• FirstVar : Sbl_Man_t_, Sbm_Man_t_, Seg_Man_t_
• fIsFi : Wlc_Obj_t_
• fIsForward : MinRegMan_t_
• fIsMiter : Cec2_Par_t_, Cec3_Par_t_
• fIsPo : Wlc_Obj_t_
• fItIsPi : Unr_Obj_t_
• fItIsPo : Unr_Obj_t_
• fix_seed : eSLIM::eSLIMConfig, eSLIM_ParamStruct_
• FIXED : CaDiCaL::Flags
• fixed() : CaDiCaL::External, CaDiCaL::Flags, CaDiCaL::Internal, CaDiCaL::Last, CaDiCaL::Solver, CaDiCaL::Stats, flags, qps_problem
• fixed_listener : CaDiCaL::External
• fJQueue : Tas_Var_t_
• fKeepRowAssigns : Ses_Man_t_
• flag : sm_col_struct, sm_row_struct
• flagged : termination
• Flags() : CaDiCaL::Flags
• flags() : CaDiCaL::Internal, inflate_state, kissat, klause, MtrNode
• fLatchCorr : Cec_ParCor_t_, Cec_ParSim_t_, Fra_Par_t_, Fra_Ssw_t_, Ssw_Pars_t_
• fLatchCorrOpt : Ssw_Pars_t_
• fLatchOnly : Ssw_RarPars_t_
• fLatchPaths : Fpga_ManStruct_t_, If_Par_t_
• fLate : Lf_Cut_t_
• flauses : CaDiCaL::Factoring
• fLearnCls : Cec_ParSat_t_
• fLearned : Msat_Clause_t_
• fLearnt : xSAT_Clause_t_
• fLevel : Fpga_CutStruct_t_
• fLi : Io_BlifObj_t_
• fLibConstr : Lms_Man_t_
• fLibVerbose : Sfm_Par_t_
• fLiftLeaves : If_Par_t_
• fLightSynth : Dch_Pars_t_
• fLightweight : Sim_Man_t_
• flip() : CaDiCaL::External, CaDiCaL::Internal, CaDiCaL::Solver
• flip_backbone_literals() : CaDiCaL::Internal
• flip_partition_literals() : CaDiCaL::Internal
• flipArray : permInfo
• flipCtr : permInfo
• flippable() : CaDiCaL::External, CaDiCaL::Internal, CaDiCaL::Solver
• flipped : CaDiCaL::Stats
• flips : CaDiCaL::Stats
• fLo : Io_BlifObj_t_
• fLoadCnf : Bmc_AndPar_t_
• fLoadTrace : Wlc_Par_t_
• fLocal : Cut_ParamsStruct_t_
• fLocalSim : Ssw_Pars_t_
• fLookForSwaps : saucy
• fLoop : Io_BlifObj_t_
• Flow : Jf_Cut_t_, Lf_Bst_t_, Lf_Cut_t_, Mf_Cut_t_, Mf_Obj_t_, Nf_Cut_t_, Of_Cut_t_, Of_Obj_t_, Pf_Cut_t_
• flush() : CaDiCaL::DratTracer, CaDiCaL::File, CaDiCaL::FileTracer, CaDiCaL::FratTracer, CaDiCaL::IdrupTracer, CaDiCaL::Inc, CaDiCaL::LidrupTracer, CaDiCaL::Limit, CaDiCaL::LratTracer, CaDiCaL::Proof, CaDiCaL::Stats, CaDiCaL::VeripbTracer
• flush_all_occs_and_watches() : CaDiCaL::Internal
• flush_blocked_clauses : CaDiCaL::Sweeper
• flush_clause() : CaDiCaL::Proof
• flush_elimfast_occs() : CaDiCaL::Internal
• flush_occs() : CaDiCaL::Internal
• flush_probes() : CaDiCaL::Internal
• flush_proof_trace() : CaDiCaL::Solver
• flush_trace() : CaDiCaL::Internal
• flush_unmatched_clauses() : CaDiCaL::Internal
• flush_vivification_schedule() : CaDiCaL::Internal
• flush_watches() : CaDiCaL::Internal
• flushed : CaDiCaL::Clause
• flushing() : CaDiCaL::Internal
• fLut : Sbd_Str_t_
• fLut6Filter : If_Par_t_
• fLutCascade : Bmc_EsPar_t_
• fLutInFixed : Bmc_EsPar_t_
• fLutProf : Gps_Par_t_
• fMainRun : Mpm_Man_t_
• fMajority : Bmc_EsPar_t_
• fMakeAIG : Ses_Man_t_, Ses_Store_t_
• fMakeChoices : Cec_ParCor_t_
• fMap : Cut_ParamsStruct_t_
• fMap4Aig : Mpm_Par_t_
• fMap4Cnf : Mpm_Par_t_
• fMap4Gates : Mpm_Par_t_
• fMapOutStats : Gps_Par_t_
• fMapped : Prs_Ntk_t_, Psr_Ntk_t_, Ver_Man_t_
• fMapping : Sbd_Par_t_
• fMappingMode : Map_ManStruct_t_
• fMark : Au_Ntk_t_, Bbl_Obj_t_, cube, Fpga_CutStruct_t_, Gia_PtrAre_t_, Gla_Obj_t_, Gli_Obj_t_, If_DsdObj_t_, If_Obj_t_, Ivy_Supp_t_, Kit_DsdObj_t_, Lpk_Cut_t_, Lpk_Fun_t_, Map_CutStruct_t_, Msat_Clause_t_, Rtm_Obj_t_, xSAT_Clause_t_
• fMark0 : Bdc_Ent_t_, Cof_Obj_t_, Dss_Obj_t_, Emb_Obj_t_, Fpga_NodeStruct_t_, Fraig_NodeStruct_t_, Frc_Obj_t_, Gia_Obj_t_, Map_NodeStruct_t_, Tas_Var_t_
• fMark1 : Bdc_Ent_t_, Cof_Obj_t_, Dss_Obj_t_, Emb_Obj_t_, Fpga_NodeStruct_t_, Fraig_NodeStruct_t_, Frc_Obj_t_, Gia_Obj_t_, Map_NodeStruct_t_, Tas_Var_t_
• fMark2 : Fraig_NodeStruct_t_, Ivy_Supp_t_
• fMark3 : Fraig_NodeStruct_t_, Ivy_Supp_t_
• fMarkA : Abc_Obj_t_, Aig_Obj_t_, Hop_Obj_t_, Ivy_Obj_t_
• fMarkB : Abc_Obj_t_, Aig_Obj_t_, Hop_Obj_t_, Ivy_Obj_t_
• fMarkC : Abc_Obj_t_
• fMemPorts : Wlc_Ntk_t_
• fMerge : Gia_ManTranStochParam
• fMergeFull : Ssw_Pars_t_
• fMFFC : Wlc_Par_t_
• fMffc : Dar_LibDat_t_
• fMinApl : _reo_man
• fMinWidth : _reo_man
• fMiter : Acec_ParCec_t_, Gia_ManAre_t_, Gps_Par_t_, Ssw_RarPars_t_
• fMonoCnf : Pdr_Par_t_
• fMoreCuts : Sbd_Par_t_
• fMoreEffort : Acb_Par_t_, Mfs_Par_t_, Sfm_Par_t_
• fMspf : Gia_ManTranStochParam
• fMulti : Wlc_BstPar_t_
• fMux : Amap_Gat_t_
• fMux7 : Lf_Cut_t_
• fMuxXor : Gps_Par_t_
• fNaive : Cec_ParCec_t_
• fNameLast : Ver_Man_t_
• Fnc : Bbl_Obj_t_
• fNew : rrr::Action
• fNewAbs : Wla_Man_t_
• fNewAsUseless : If_DsdMan_t_
• fNewLine : Gia_ManTranStochParam
• fNewRefine : Abs_Par_t_
• fNewXSim : Pdr_Par_t_
• fNextRound : If_Man_t_
• fNoCleanup : Wlc_BstPar_t_
• fNoColor : Gps_Par_t_
• fNodeOr : Dec_Node_t_, Kit_Node_t_
• fNodePo : Fraig_NodeStruct_t_
• fNonChrono : Cec_ParSat_t_
• fNonConstOut : Fra_Sml_t_, Ssw_Sml_t_
• fNonRest : Wlc_BstPar_t_
• fNonStrict : Bmc_ParFf_t_
• fNoRestarts : Saig_ParBmc_t_, sat_solver3_t, sat_solver_t
• fNothingNew : Clu_Man_t_
• fNotUseRandom : sat_solver2_t, sat_solver3_t, sat_solver_t
• fNotVerbose : Bmc_AndPar_t_, Pdr_Par_t_, Saig_ParBmc_t_, Ssw_RarPars_t_
• fNpn : Gps_Par_t_
• fNpnSave : Cut_ParamsStruct_t_
• fObeyFanoutLimits : Map_ManStruct_t_
• focus : enabled
• fOldAlgo : Lpk_Par_t_
• fOneHotness : Mfs_Par_t_
• fOneRound : Mpm_Par_t_
• fOnlyAnd : Bmc_EsPar_t_
• fOnlyD : FxuDataStruct
• fOnlyS : FxuDataStruct
• fOptEdge : Jf_Par_t_
• fOptOnInsert : rrr::Parameter
• forbidden_pairs : eSLIM::Subcircuit, eSLIM_ParamStruct_
• force_backtrack() : CaDiCaL::External, CaDiCaL::Internal, CaDiCaL::Solver
• force_colors() : CaDiCaL::Terminal
• force_lrat() : CaDiCaL::Internal
• force_no_backtrack : CaDiCaL::Internal
• force_no_colors() : CaDiCaL::Terminal
• force_reset_on_exit() : CaDiCaL::Terminal
• force_saved_phase : CaDiCaL::Internal
• forced : CaDiCaL::Limit, CaDiCaL::Phases
• forced_backt_allowed : CaDiCaL::Internal
• fOrderNodes : Bmc_EsPar_t_
• ForEachFanin() : rrr::AndNetwork
• ForEachFaninIdx() : rrr::AndNetwork
• ForEachFanout() : rrr::AndNetwork
• ForEachFanoutRidx() : rrr::AndNetwork
• ForEachInt() : rrr::AndNetwork
• ForEachIntReverse() : rrr::AndNetwork
• ForEachPi() : rrr::AndNetwork
• ForEachPiIdx() : rrr::AndNetwork
• ForEachPiInt() : rrr::AndNetwork
• ForEachPo() : rrr::AndNetwork
• ForEachPoDriver() : rrr::AndNetwork
• ForEachTfi() : rrr::AndNetwork
• ForEachTfiEnd() : rrr::AndNetwork
• ForEachTfisUpdate() : rrr::AndNetwork
• ForEachTfiUpdate() : rrr::AndNetwork
• ForEachTfo() : rrr::AndNetwork
• ForEachTfoReverse() : rrr::AndNetwork
• ForEachTfos() : rrr::AndNetwork
• ForEachTfosUpdate() : rrr::AndNetwork
• ForEachTfoUpdate() : rrr::AndNetwork
• forgettable_original : CaDiCaL::External
• Format() : CaDiCaL::Format
• format : kissat
• fOrPos : Gia_ParFra_t_
• forward : CaDiCaL::Stats
• forward_false_satisfiable() : CaDiCaL::Internal
• forward_subsume_matching_clauses() : CaDiCaL::Closure
• forward_true_satisfiable() : CaDiCaL::Internal
• fOuter : If_Box_t_
• fOutputCorr : Ssw_Pars_t_
• fPartition : Saig_ParBbr_t_
• fPartSigCorr : Ssw_Pars_t_
• fPatScores : Fra_Par_t_, Ivy_FraigParams_t_
• fPdra : Wlc_Par_t_
• fPdrVerbose : Wlc_Par_t_
• fPersist : Abc_Obj_t_
• fPhase : Abc_Obj_t_, Aig_Obj_t_, Amap_Obj_t_, Cof_Obj_t_, Dar_LibObj_t_, Gia_Obj_t_, Gli_Obj_t_, Hop_Obj_t_, If_Obj_t_, Ivy_Obj_t_, Tas_Var_t_
• fPhase2 : Gli_Obj_t_
• fPhaseAbstract : Fra_Sec_t_
• fPhased : Abc_TgMan_t_
• fPi : Gla_Obj_t_, Io_BlifObj_t_
• fPinFilter : Jf_Par_t_, Mio_LibraryStruct_t_
• fPinPerm : Jf_Par_t_, Mio_LibraryStruct_t_
• fPinQuick : Jf_Par_t_, Mio_LibraryStruct_t_
• fPo : Gla_Obj_t_, Io_BlifObj_t_
• fPolar : Amap_Obj_t_
• fPolarFlip : Cec_ParSat_t_, Dch_Pars_t_, Hcd_Pars_t_, Ssw_Pars_t_, Ssw_Sat_t_
• fPower : Dar_RwrPar_t_, Dch_Pars_t_, Hcd_Pars_t_, If_Par_t_, Jf_Par_t_, Mfs_Par_t_
• fPPi : Rf2_Obj_t_, Rfn_Obj_t_, Rnm_Obj_t_
• fPreprocess : If_Par_t_
• fPrime : MvcCubeStruct
• fPrintClause : sat_solver_t
• fPrintDecs : Sfm_Par_t_
• fPrintTree : saucy
• fProbOne : Fsim_ParSwitch_t_, Gia_ParSwi_t_
• fProbTrans : Fsim_ParSwitch_t_, Gia_ParSwi_t_
• fProofLogging : sat_solver2_t
• fProofRefine : Wlc_Par_t_
• fProofUsePPI : Wlc_Par_t_
• fProofVerif : Int_Man_t_, Inta_Man_t_, Intb_Man_t_, Intp_Man_t_, Pr_Man_t_
• fProofWrite : Int_Man_t_, Inta_Man_t_, Intb_Man_t_, Intp_Man_t_, Pr_Man_t_
• fPropFanout : Abs_Par_t_, Rf2_Man_t_, Rnm_Man_t_
• fProve : Fra_Par_t_, Ivy_FraigParams_t_
• fProved : Gia_Rpr_t_
• fPureAig : Jf_Par_t_
• fPushClauses : Wlc_Par_t_
• fQuadrEnc : Bmc_EsPar_t_
• frames : kissat
• frat : CaDiCaL::Internal
• FratTracer() : CaDiCaL::FratTracer
• fReachability : Fra_Sec_t_
• fReadUnsolved : Fra_Sec_t_
• fReallocd : xSAT_Clause_t_
• fReasonVerbose : Ses_Man_t_
• fRecord : Cut_ParamsStruct_t_
• fRecordAig : Cut_ParamsStruct_t_
• fRecursive : Fra_Sec_t_
• fRecycle : Dar_RwrPar_t_
• free() : CaDiCaL::DeferDeleteArray< T >, CaDiCaL::DeferDeletePtr< T >, eSLIM::Subcircuit
• free_() : Gluco2::ClauseAllocator, Gluco2::RegionAllocator< T >, Gluco::ClauseAllocator, Gluco::RegionAllocator< T >
• freeze() : CaDiCaL::External, CaDiCaL::Internal, CaDiCaL::Solver
• fRefactor : Gia_ManTranStochParam
• fRefCount : Hop_Man_t_
• fRefine : Emb_Par_t_
• fRefined : Ssw_Man_t_
• fRefinement : Fra_Cla_t_
• fRefining : Fra_Lcr_t_
• fRemapUp : _reo_man
• fReorder : Gia_ParLlb_t_, Saig_ParBbr_t_
• fReorderImage : Fra_Sec_t_, Saig_ParBbr_t_
• fReoVerbose : NewBdd::Param, rrr::NewBdd::Param
• fReportSolution : Fra_Sec_t_
• fRepr : Amap_Obj_t_, If_Obj_t_
• freq : ct_data_s
• fReqTimeWarn : If_Man_t_
• fRequiredGain : Fpga_ManStruct_t_
• fRequiredGlo : Fpga_ManStruct_t_, Map_ManStruct_t_
• fRequiredShift : Fpga_ManStruct_t_
• fRequiredStart : Fpga_ManStruct_t_
• fResetHop : Gia_ManTranStochParam
• fresh : CaDiCaL::Factoring, factoring
• fResLimit : Ses_TimesEntry_t_
• fResub : Mfs_Par_t_
• fResynthesis : Fpga_ManStruct_t_
• fRetimeFirst : Fra_Sec_t_
• fRetimeRegs : Fra_Sec_t_
• fReuseProofOblig : Pdr_Par_t_
• fReverse : Sbl_Man_t_, Seg_Man_t_, Spl_Man_t_
• fRewrite : Fra_Par_t_, Fra_Ssw_t_, Int2_ManPars_t_, Inter_ManParams_t_
• fRewriting : Cec_ParCec_t_, Cec_ParFra_t_
• fRi : Gla_Obj_t_
• fRo : Gla_Obj_t_
• from_propagator : CaDiCaL::Internal
• fromGia() : Rewire::Miaig
• fromMiniAig() : Rewire::Miaig
• front() : CaDiCaL::heap< C >
• fRoot : Pr_Cls_t_, Rtl_Ntk_t_, Sto_Cls_t_
• frozen : CaDiCaL::Clause, CaDiCaL::External, CaDiCaL::Internal, CaDiCaL::Solver, Gluco2::SimpSolver, Gluco::SimpSolver, Minisat::SimpSolver
• frozentab : CaDiCaL::External, CaDiCaL::Internal
• fRrOnly : Mfs_Par_t_, Sfm_Par_t_
• fRunCSat : Cec_ParFra_t_
• fSatSweeping : Cec_ParFra_t_
• fSatur : Ivy_Store_t_, Lpk_Par_t_
• fSatVerbose : Ses_Man_t_
• fSaveCexes : Cec_ParSat_t_
• fSaveFfNames : Wlc_BstPar_t_
• fSaveLastLit : Gia_ParFra_t_
• fSchedule : Gia_ParLlb_t_
• fScorrGia : Ssw_Pars_t_
• fSemiFormal : Ssw_Pars_t_
• fSeq : Acb_Ntk_t_, Cba_Ntk_t_, Cut_ParamsStruct_t_, If_Box_t_
• fSeqSimulate : Cec_ParSim_t_
• fSetLastState : Ssw_RarPars_t_
• fShiftStart : Pdr_Par_t_
• fShortest : Pdr_Par_t_
• fShowImage : Emb_Par_t_
• fShrinkAbs : Wlc_Par_t_
• fShrinkScratch : Wlc_Par_t_
• fSifted : _reo_plane
• fSilent : Acec_ParCec_t_, Cec_ParCec_t_, Fra_Sec_t_, Fra_Ssw_t_, Gia_ParLlb_t_, Pdr_Par_t_, Saig_ParBbr_t_, Saig_ParBmc_t_, Ssw_RarPars_t_
• fSimpleGeneral : Pdr_Par_t_
• fSimpProver : Abs_Par_t_
• fSimul : Cut_CutStruct_t_, Cut_ManStruct_t_, Cut_OracleStruct_t_
• fSimulateTfo : Dch_Pars_t_, Hcd_Pars_t_
• fSinkDistTerminate : MinRegMan_t_
• fSizeOnly : SC_BusPars_
• fSkip : SC_Cell_
• fSkipCut : If_Obj_t_
• fSkipCutFilter : If_Par_t_
• fSkipDown : Pdr_Par_t_
• fSkipFanout : Map_ManStruct_t_
• fSkipGeneral : Pdr_Par_t_
• fSkipHash : Abs_Par_t_
• fSkipInv : Super_ManStruct_t_
• fSkipMap : Gps_Par_t_
• fSkipOutCheck : Gia_ParLlb_t_, Saig_ParBbr_t_
• fSkipRand : Saig_ParBmc_t_
• fSkipReach : Gia_ParLlb_t_
• fSkipRedSupp : Dch_Pars_t_
• fSkipSimplify : sat_solver2_t, sat_solver3_t, sat_solver_t
• fSlacks : Gps_Par_t_
• fSlices : Prs_Ntk_t_, Psr_Ntk_t_
• fSmtLib : Wlc_Ntk_t_, Wln_Ntk_t_
• fSolutionIsDc : MinRegMan_t_
• fSolveAll : Pdr_Par_t_, Saig_ParBmc_t_, Ssw_RarPars_t_
• fSolved : sat_solver3_t, sat_solver_t
• fSource : Abc_Frame_t_
• fSpec : If_Obj_t_
• fSpeculate : Fra_Par_t_
• fSplitPrime : Dau_Dsd_t_
• fst_block_rst : satoko_opts
• fStartPats : Bmc_ParFf_t_
• fStepUp : Clu_Man_t_
• fStop : Extra_FileReader_t_, Ver_Stream_t_
• fStopNow : Bmcg_Man_t_, Bmcs_Man_t_
• fStopOnFirstFail : Fra_Sec_t_
• fStopped : Gia_ManAre_t_
• fStopWhenGone : Cec_ParCor_t_, Ssw_Pars_t_
• fStoreCex : Pdr_Par_t_, Saig_ParBmc_t_
• fSuper : Map_SuperStruct_t_, Super_GateStruct_t_
• fSupports : Lpk_Fun_t_
• fSwapEdge : Mfs_Par_t_
• fSweeper : Gia_Man_t_
• fSwitch : Gps_Par_t_
• fSwitching : Fpga_ManStruct_t_, Map_ManStruct_t_
• fSynthesis : Dch_Pars_t_, Hcd_Pars_t_
• ftab : CaDiCaL::Internal, EState
• fTarget : Clu_Man_t_
• fTemp : Fpga_NodeStruct_t_
• fTents : Gps_Par_t_
• fTerm : Cof_Obj_t_, Dar_LibObj_t_, Gia_Obj_t_, Gia_ObjSat2_t_, Gli_Obj_t_, Tas_Var_t_
• fThisIsAdd : _reo_man
• fTopLevel : Ver_Man_t_
• fTransLoop : Int2_ManPars_t_, Inter_ManParams_t_
• fTree : Cut_ParamsStruct_t_, Gia_ManAre_t_
• fTruth : Aig_ManCut_t_, Cut_ParamsStruct_t_, Gia_ManTranStochParam, If_Par_t_
• fTruthMin : Gia_Sto_t_, Sdb_Sto_t_
• fTryBmc : Fra_Sec_t_
• fTryComb : Fra_Sec_t_
• fTryProve : Fraig_ManStruct_t_, Fraig_ParamsStruct_t_
• fTwoOutput : Acec_ParCec_t_
• fTwoRounds : Pdr_Par_t_
• fTypeA : Msat_Clause_t_
• full_watching : CaDiCaL::Closure
• fullset : cube_struct
• fully_propagate() : CaDiCaL::Closure
• Func : Au_Obj_t_, Tab_Obj_t_
• func : config_s
• func_text : SC_Pin_
• funcCst0 : Mpm_Man_t_
• FuncNameId : Prs_Man_t_
• FuncRangeId : Prs_Man_t_
• function : CaDiCaL::Wrapper, Literal_t_
• funcVar0 : Mpm_Man_t_
• fUndef : Gia_Plc_t_
• fUniqFans : Bmc_EsPar_t_
• FunMask : Dtt_Man_t_
• fUnused : Dau_Dsd_t_, If_Box_t_
• fUpdateLevel : Dar_RefPar_t_, Dar_RwrPar_t_
• fUse0 : FxuDataStruct
• fUse1Hot : Fra_Par_t_, Fra_Ssw_t_
• fUse34Spec : If_Par_t_
• fUseAbs : Pdr_Par_t_
• fUseActive : Tas_Par_t_
• fUseAndOr : Sfm_Par_t_
• fUseAndVars : If_Par_t_
• fUseAshen : Acb_Par_t_
• fUseBackward : Inter_ManParams_t_
• fUseBat : If_Par_t_
• fUseBddCspf : rrr::Parameter
• fUseBddMspf : rrr::Parameter
• fUseBdds : Gia_ParAbs_t_, If_Par_t_, Prove_ParamsStruct_t_
• fUseBias : Inter_ManParams_t_
• fUseBmc3 : Wlc_Par_t_
• fUseBridge : Pdr_Par_t_, Saig_ParBmc_t_
• fUseBuffs : If_Par_t_
• fUseCex : Ssw_RarPars_t_
• fUseCheck1 : If_Par_t_
• fUseCheck2 : If_Par_t_
• fUseCnfs : If_Par_t_
• fUseCoAttrs : If_Par_t_
• fUseCofVars : If_Par_t_
• fUseCompl : FxuDataStruct
• fUseCones : Cec2_Par_t_, Cec3_Par_t_, Cec_ParFra_t_
• fUseConst : Maj_Man_t_
• fUseCSat : Cec_ParChc_t_, Cec_ParCor_t_, Dch_Pars_t_, Hcd_Pars_t_, Ssw_Pars_t_
• fUsed : Dar_Cut_t_, Fpga_NodeStruct_t_, Lf_Plc_t_, Map_NodeStruct_t_, Rwr_Node_t_, Rwt_Node_t_
• fUseDcs : Sfm_Par_t_
• fUseDept : SC_SizePars_
• fUseDiffSupp : Nwk_LMPars_t_
• fUseDprove : Gia_ParAbs_t_
• fUseDsd : If_Par_t_, Mpm_Par_t_
• fUseDsdTune : If_Par_t_
• fUseEla : Lf_Man_t_, Mf_Man_t_, Nf_Man_t_, Pf_Man_t_
• fUseEliminate : Bmc_AndPar_t_
• fUseEsop : Cov_Man_t_
• fUseFanout : Cbs2_Par_t_
• fUseFfGrouping : Ssw_RarPars_t_
• fUseFlow : Gia_ParLlb_t_
• fUseFraiging : Prove_ParamsStruct_t_
• fUseFullProof : Abs_Par_t_
• fUseGates : Mpm_Par_t_
• fUseGia : Dch_Pars_t_, Hcd_Pars_t_
• fUseGlucose : Bmc_AndPar_t_, Saig_ParBmc_t_
• fUseHighest : Cbs0_Par_t_, Cbs2_Par_t_, Cbs_Par_t_, CbsP_Par_t_, Tas_Par_t_
• fUseImps : Fra_Par_t_, Fra_Ssw_t_
• fUseIncr : Bmc_EsPar_t_
• fUseInt : Attr_ManStruct_t_
• fUseLcorr : Cec_ParSeq_t_
• fUseless : If_Cut_t_, Mpm_Cut_t_
• fUseLine : Maj_Man_t_
• fUseLowest : Cbs0_Par_t_, Cbs2_Par_t_, Cbs_Par_t_, CbsP_Par_t_, Tas_Par_t_
• fUseMaxFF : Cbs0_Par_t_, Cbs2_Par_t_, Cbs_Par_t_, CbsP_Par_t_, Tas_Par_t_
• fUseMemMan : Ver_Man_t_
• fUseMiniSat : Cec_ParSeq_t_, Inter_ManParams_t_
• fUseMux : Amap_Man_t_
• fUseMux7 : Jf_Par_t_
• fUseMuxes : Amap_Par_t_
• fUseMv : If_Par_t_
• fUseNew : Dch_Pars_t_
• fUseNew2 : Dch_Pars_t_
• fUseNewLine : Ga2_Man_t_
• fUseNewProver : Fra_Sec_t_
• fUseOldCnf : Bmc_AndPar_t_
• fUseOrigIds : Cec_ParFra_t_
• fUseOther : Inter_ManParams_t_
• fUsePath : Sbd_Par_t_
• fUsePdr : Fra_Sec_t_
• fUsePerm : If_Par_t_
• fUsePivots : Gia_ParLlb_t_
• fUseProfile : Map_ManStruct_t_
• fUsePropOut : Pdr_Par_t_
• fUseProved : CbsP_Par_t_
• fUsePudlak : Inter_ManParams_t_
• fUseQCost : cinfo_tag
• fUser : If_Cut_t_
• fUseRand : Maj_Man_t_
• fUseReset : Io_MvMan_t_
• fUseRewriting : Prove_ParamsStruct_t_
• fUseRings : Cec_ParChc_t_, Cec_ParCor_t_
• fUserLut2D : If_Par_t_
• fUserLutDec : If_Par_t_
• fUseRollback : Abs_Par_t_
• fUserRecLib : If_Par_t_
• fUserSesLib : If_Par_t_
• fUseSatoko : Saig_ParBmc_t_
• fUseScorr : Cec_ParSeq_t_
• fUseSeparate : Inter_ManParams_t_
• fUseSim : Sfm_Par_t_
• fUseSimple : Abs_Par_t_
• fUseSimpleRef : Pdr_Par_t_
• fUseSkip : Abs_Par_t_
• fUseSmartCnf : Cec_ParCec_t_, Cec_ParCor_t_
• fUseSop : Cov_Man_t_
• fUseSops : If_Par_t_
• fUseStart : Gia_ParAbs_t_
• fUseSupp : Pdr_Par_t_
• fUseSyn : Bmc_MulPar_t_
• fUseSynth : Bmc_AndPar_t_
• fUseTermVars : Abs_Par_t_
• fUseTfiTfo : Nwk_LMPars_t_
• fUseTravId : Tim_Man_t_
• fUseTruth : Mpm_Par_t_
• fUseTtPerm : If_Par_t_
• fUseTwoFrames : Inter_ManParams_t_
• fUseWatchlist : Cec_ParSimGen_t_
• fUseWireLoads : SC_BusPars_, SC_SizePars_
• fUseXor : Abc_EnuMan_t_, Amap_Man_t_, Gia_ResbMan_t_, Gia_Rsb2Man_t_
• fUseXors : Amap_Par_t_
• fUseZeroCost : Gia_Rsb2Man_t_
• fUseZeros : Dar_RefPar_t_, Dar_RwrPar_t_
• fUsingTemp2 : Prs_Man_t_, Psr_Man_t_
• fVal : Tas_Var_t_
• fValOld : Tas_Var_t_
• fVar : Super_GateStruct_t_
• fVarPinDelays : Fpga_LutLibStruct_t_, If_LibLut_t_, Mpm_LibLut_t_
• fVerbose : _reo_man, Abc_EnuMan_t_, Abc_LutCas_t_, Abc_ManRef_t_, Abc_ShaMan_t_, Abs_Par_t_, Acb_Par_t_, Acec_ParCec_t_, Aig_Gla1Man_t_, Aig_Gla2Man_t_, Aig_Gla3Man_t_, Aig_ManCut_t_, Aig_ManPack_t_, Amap_Lib_t_, Amap_Par_t_, Bal_Man_t_, Bbr_ImageTree_t_, Bdc_Par_t_, Bmc_AndPar_t_, Bmc_BCorePar_t_, Bmc_EsPar_t_, Bmc_MulPar_t_, Bmc_ParFf_t_, Bnd_Man_t_, Cbs0_Par_t_, Cbs2_Par_t_, Cbs3_Par_t_, Cbs_Par_t_, CbsP_Par_t_, Ccf_Man_t_, Cec2_Par_t_, Cec3_Par_t_, Cec_ManPat_t_, Cec_ParCec_t_, Cec_ParChc_t_, Cec_ParCor_t_, Cec_ParFra_t_, Cec_ParSat_t_, Cec_ParSeq_t_, Cec_ParSim_t_, Cec_ParSimGen_t_, Cec_ParSmf_t_, Cgt_Par_t_, Clu_Man_t_, Csw_Man_t_, Cut_ParamsStruct_t_, Dar_RefPar_t_, Dar_RwrPar_t_, Dch_Pars_t_, Dsd_Manager_t_, Emb_Man_t_, Emb_Par_t_, Exa4_Man_t_, Exa5_Man_t_, Exa6_Man_t_, Extra_ImageTree_t_, Fpga_ManStruct_t_, Fra_Lcr_t_, Fra_Par_t_, Fra_Sec_t_, Fra_Ssw_t_, Fraig_ManStruct_t_, Fraig_ParamsStruct_t_, Frc_Man_t_, Fsim_ParSim_t_, Fsim_ParSwitch_t_, FxuDataStruct, Gem_Man_t_, Gia_Man_t_, Gia_ParAbs_t_, Gia_ParFra_t_, Gia_ParLlb_t_, Gia_ParSim_t_, Gia_ParSwi_t_, Gia_ResbMan_t_, Gia_Rsb2Man_t_, Gia_SimAbsMan_t_, Gia_Sto_t_, Hcd_Man_t_, Hcd_Pars_t_, If_Par_t_, Ifif_Par_t_, Int2_ManPars_t_, Int_Man_t_, Inta_Man_t_, Intb_Man_t_, Inter_Man_t_, Inter_ManParams_t_, Intp_Man_t_, Ivy_FraigParams_t_, Jf_Par_t_, Lpk_Par_t_, Maj_Man_t_, Map_ManStruct_t_, Map_SuperLibStruct_t_, Mfs_Par_t_, MinRegMan_t_, Mpm_Par_t_, Msat_Solver_t_, Nwk_LMPars_t_, Odc_Man_t_, Pdr_Par_t_, Prove_ParamsStruct_t_, Qbf_Man_t_, Res_Par_t_, Rf2_Man_t_, Rnm_Man_t_, Rsb_Man_t_, Saig_Bmc_t_, Saig_ManCba_t_, Saig_ParBbr_t_, Saig_ParBmc_t_, Saig_RefMan_t_, sat_solver2_t, sat_solver3_t, sat_solver_t, Sbd_Par_t_, Sbd_Srv_t_, Sbd_Sto_t_, Sbl_Man_t_, SC_BusPars_, SC_SizePars_, Sdb_Sto_t_, Seg_Man_t_, Ses_Man_t_, Ses_Store_t_, Sfm_Lib_t_, Sfm_Par_t_, Sle_Man_t_, Ssc_Pars_t_, Ssw_Pars_t_, Ssw_RarMan_t_, Ssw_RarPars_t_, Ssw_Sem_t_, Super_ManStruct_t_, Tas_Par_t_, Wlc_BstPar_t_, Wlc_Par_t_, xSAT_SolverOptions_t_
• fVerboseFlops : Cec_ParCor_t_
• fVerboseP : Fraig_ManStruct_t_, Fraig_ParamsStruct_t_
• fVerboseTrace : If_Par_t_
• fVerify : _reo_man, Ssc_Pars_t_
• fVeryVerbose : Abs_Par_t_, Acb_Par_t_, Acec_ParCec_t_, Bdc_Par_t_, Bmc_AndPar_t_, Bmc_MulPar_t_, Cec2_Par_t_, Cec3_Par_t_, Cec_ParCec_t_, Cec_ParChc_t_, Cec_ParCor_t_, Cec_ParFra_t_, Cec_ParSeq_t_, Cec_ParSim_t_, Cec_ParSimGen_t_, Cgt_Par_t_, Clu_Man_t_, Dar_RefPar_t_, Dar_RwrPar_t_, Fra_Sec_t_, FxuDataStruct, Gia_ParAbs_t_, Gia_ParLlb_t_, Gia_ResbMan_t_, Ifif_Par_t_, Jf_Par_t_, Lpk_Par_t_, Mfs_Par_t_, Mpm_Par_t_, Nwk_LMPars_t_, Odc_Man_t_, Pdr_Par_t_, Res_Par_t_, Sbd_Par_t_, Sbl_Man_t_, SC_BusPars_, SC_SizePars_, Ses_Man_t_, Ses_Store_t_, Sfm_Par_t_
• fVeryVeryVerbose : Sbl_Man_t_
• fVisit : If_Obj_t_, Iso_Dat_t_, Pr_Cls_t_, Rf2_Obj_t_, Rfn_Obj_t_, Rnm_Obj_t_, Sto_Cls_t_, Vta_Obj_t_
• fVisitJ : Rnm_Obj_t_
• fWay : Ifd_Obj_t_
• fWriteImps : Fra_Par_t_, Fra_Ssw_t_
• fWriteOldFormat : Super_ManStruct_t_
• fWriteTruth : Dau_Dsd_t_
• fXConst : Wlc_Obj_t_
• fXorOutput : Wlc_Par_t_
• fZeroCost : Lpk_Par_t_, Sfm_Par_t_
• fZeroCostHop : Gia_ManTranStochParam