- a -

• a : cloudCacheEntry1 , cloudCacheEntry2 , cloudCacheEntry3
• A : Nf_Mat_t_
• aArea : Cnf_Man_t_
• abs : Minisat::Clause
• acache : DdManager
• act : Minisat::Clause
• act_clas : sat_solver2_t , sat_solver_t
• act_vars : sat_solver_t
• active_count : set_family
• activity : Minisat::Solver , Minisat::Solver::VarOrderLt , sat_solver2_t , sat_solver_t , sim_result
• activity2 : sat_solver2_t , sat_solver_t
• activityInc : saucy
• add_tmp : Minisat::Solver
• adj : saucy , saucy_graph
• adler : z_stream_s
• aEstFanouts : Fpga_NodeStruct_t_
• aFlow : Fpga_CutStruct_t_
• aHistory : Abc_Frame_t_
• aig : pyabc_split.abc_state
• Algo : Bmc_ParFf_t_ , Gia_ParAbs_t_
• allocated : DdManager
• analyze_stack : Minisat::Solver
• analyze_toclear : Minisat::Solver
• anc : saucy
• anctar : saucy
• AndGateDelay : Abc_Ntk_t_
• approx : SC_Surface_
• arcviolation : DdManager
• Area : Amap_Mat_t_ , If_Cut_t_ , Jf_Par_t_ , Map_SuperStruct_t_ , Mio_Cell_t_
• area : qps_problem , SC_Cell_
• Area : Super_GateStruct_t_
• AreaBase : Map_ManStruct_t_
• AreaBuf : Map_SuperLibStruct_t_
• AreaEst : Lpk_Res_t_
• AreaFinal : Map_ManStruct_t_
• AreaFlow : Map_MatchStruct_t_
• AreaGlo : If_Man_t_
• AreaInv : Map_SuperLibStruct_t_
• AreaLimit : Fpga_ManStruct_t_
• Arg0 : Abc_ZddEnt_
• Arg1 : _HashEntry_cof , _HashEntry_mint , _reo_hash , Abc_ZddEnt_
• Arg2 : _HashEntry_mint , _reo_hash , Abc_ZddEnt_
• Arg3 : _reo_hash
• argc : MvAlias
• argv : MvAlias
• arr1 : EState
• arr2 : EState
• assigns : Minisat::Solver , sat_solver2_t , sat_solver_t
• assumptions : Minisat::Solver
• asymm_lits : Minisat::SimpSolver
• asynch_interrupt : Minisat::Solver
• ATimeIn : Kit_ManDec_t_
• ATimeOut : Kit_ManDec_t_
• attrAntecedents : antecedentConsequentVectorsStruct
• attrCandMonotone : monotoneVectorsStruct
• attrConsequentCandidates : antecedentConsequentVectorsStruct
• attrHintMonotone : monotoneVectorsStruct
• attrHintSingalBeginningMarker : aigPoIndices
• attrHintSingalEndMarker : aigPoIndices
• attrKnownMonotone : monotoneVectorsStruct
• attrPendingSignalIndex : aigPoIndices
• attrSafetyInvarIndex : aigPoIndices
• autoDyn : DdManager
• autoDynZ : DdManager
• autoMethod : DdManager
• autoMethodZ : DdManager
• avail_in : bz_stream , z_stream_s
• avail_in_expect : EState
• avail_out : bz_stream , z_stream_s
• AveFan : Amap_Mat_t_