- a -

• AbstractionNode() : AbstractionNode
• add() : IntervalArena< TInt, TFld > , SymPairMap< TKey, TVal > , SymPairSet< TKey, IREFLEXIVE >
• addFootprint() : OpTemplate
• addNeq() : SymHeapCore
• addrOfTarget() : SymHeapCore
• addTemplate() : OpCollection
• alive() : Globals
• anyReuseHappened() : SymStateMap
• append() : Block , CleanList< T >
• appendPredecessor() : Block
• appendWriter() : MultiRewriter
• assignId() : EntStore< TBaseEnt >