- a -

• a : cloudCacheEntry1 , cloudCacheEntry2 , cloudCacheEntry3
• aArea : Cnf_Man_t_
• acache : DdManager
• act_vars : sat_solver_t
• active_count : set_family
• activity : sat_solver_t
• aEstFanouts : Fpga_NodeStruct_t_
• aFlow : Fpga_CutStruct_t_
• aHistory : Abc_Frame_t_
• allocated : DdManager
• arcviolation : DdManager
• Area : Super_GateStruct_t_ , If_Cut_t_ , Map_SuperStruct_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_
• Arg1 : _reo_hash , _HashEntry_cof , _HashEntry_mint
• Arg2 : _HashEntry_mint , _reo_hash
• Arg3 : _reo_hash
• argc : MvAlias
• argv : MvAlias
• assigns : sat_solver_t
• autoDyn : DdManager
• autoDynZ : DdManager
• autoMethod : DdManager
• autoMethodZ : DdManager
• AveRefs : If_Cut_t_