- a -

• action : TracePlugin
• actual_parameters : HrcNode
• add : SatSolver
• all_wrong_symbols : TraceXmlLoader
• alloc : hashPtr , Bmc_Stack_ptr
• allocated : Stack_ptr
• allow_bits : Trace
• anon2orig : NodeAnonymizerBase
• anonymizer : HrcDumperAnonymizer , TracePlugin
• arg : SymbLayerIter , SymbTableIter , NodeTransformation
• argc : CmdAliasDescr_t
• argument : StreamTypeArg
• argv : CmdAliasDescr_t
• array : Stack_ptr
• array_defines : HrcNode
• assign : SubstValue
• assigns_table : HrcNode
• assoc : AssocAndDestroy
• avail_phy_idx_queue : BeEnc