- b -

• BoolValPtr : ilang
• BvValPtr : ilang
• BvValType : ilang

- c -

• CnstIlaMap : ilang
• CrrPtr : ilang

- e -

• ExprMap : ilang
• ExprMngrPtr : ilang
• ExprPtr : ilang
• ExprPtrVec : ilang
• ExprSet : ilang

- f -

• FuncPtr : ilang

- i -

• I2JSerPtr : ilang
• InstrCnstPtr : ilang
• InstrLvlAbsCnstPtr : ilang
• InstrLvlAbsPtr : ilang
• InstrPtr : ilang
• InstrSeqPtr : ilang
• InstrVec : ilang

- j -

• J2IDesPtr : ilang

- m -

• MemValMap : ilang
• MemValPtr : ilang

- n -

• NumericType : ilang

- o -

• ObjPtr : ilang

- r -

• RefPtr : ilang
• RelPtr : ilang

- s -

• SortPtr : ilang
• SynthAbsConverterPtr : ilang

- v -

• ValPtr : ilang

- z -

• Z3AdapterHash : ilang
• Z3ExprMap : ilang
• Z3ExprMapPtr : ilang
• Z3ExprVec : ilang
• Z3ExprVecPtr : ilang