Here is a list of all typedefs with links to the classes they belong to:

• allocator_type : Configuration< Allocator >
• basic_allocator_type : AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >
• FormulaPtr : AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >
• IBAB : AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >
• IPC : AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >
• ISimplifier : AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >
• IST : AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >
• IStore : AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >
• LIStore : AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >
• prop_allocator_type : AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >
• Split : AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >
• store_allocator_type : AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >
• this_type : AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >
• universe_type : AbstractDomains< Universe, BasicAllocator, PropAllocator, StoreAllocator >