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

- a -

• ask_table : lala::Table< A, U, Allocator >::ask_type< Alloc >, lala::Table< A, U, Allocator >::tell_type< Alloc >
• ask_tables : lala::Tables< A, U, Allocator >::ask_type< Alloc >, lala::Tables< A, U, Allocator >::tell_type< Alloc >

- b -

• bitset_store : lala::Tables< A, U, Allocator >::snapshot_type< Alloc2 >

- c -

• current_strategy : lala::SplitStrategy< A, Allocator >::snapshot_type< Alloc >

- h -

• headers : lala::Table< A, U, Allocator >::ask_type< Alloc >, lala::Table< A, U, Allocator >::tell_type< Alloc >, lala::Tables< A, U, Allocator >::ask_type< Alloc >, lala::Tables< A, U, Allocator >::tell_type< Alloc >

- i -

• injective_concretization : lala::BAB< A, B >, lala::SearchTree< A, Split, Allocator >, lala::SplitStrategy< A, Allocator >, lala::Table< A, U, Allocator >, lala::Tables< A, U, Allocator >
• is_abstract_universe : lala::BAB< A, B >, lala::SearchTree< A, Split, Allocator >, lala::SplitStrategy< A, Allocator >, lala::Table< A, U, Allocator >, lala::Tables< A, U, Allocator >
• is_totally_ordered : lala::BAB< A, B >, lala::SearchTree< A, Split, Allocator >, lala::SplitStrategy< A, Allocator >, lala::Table< A, U, Allocator >, lala::Tables< A, U, Allocator >

- n -

• name : lala::BAB< A, B >, lala::SearchTree< A, Split, Allocator >, lala::SplitStrategy< A, Allocator >, lala::Table< A, U, Allocator >, lala::Tables< A, U, Allocator >
• next_unassigned_var : lala::SplitStrategy< A, Allocator >::snapshot_type< Alloc >
• num_strategies : lala::SplitStrategy< A, Allocator >::snapshot_type< Alloc >
• num_tables : lala::Table< A, U, Allocator >::snapshot_type< Alloc2 >, lala::Tables< A, U, Allocator >::snapshot_type< Alloc2 >

- o -

• optimization_mode : lala::BAB< A, B >::tell_type< Alloc >

- p -

• preserve_bot : lala::BAB< A, B >, lala::SearchTree< A, Split, Allocator >, lala::SplitStrategy< A, Allocator >, lala::Table< A, U, Allocator >, lala::Tables< A, U, Allocator >
• preserve_concrete_covers : lala::BAB< A, B >, lala::SearchTree< A, Split, Allocator >, lala::SplitStrategy< A, Allocator >, lala::Table< A, U, Allocator >, lala::Tables< A, U, Allocator >
• preserve_join : lala::BAB< A, B >, lala::SearchTree< A, Split, Allocator >, lala::SplitStrategy< A, Allocator >, lala::Table< A, U, Allocator >, lala::Tables< A, U, Allocator >
• preserve_meet : lala::BAB< A, B >, lala::SearchTree< A, Split, Allocator >, lala::SplitStrategy< A, Allocator >, lala::Table< A, U, Allocator >, lala::Tables< A, U, Allocator >
• preserve_top : lala::BAB< A, B >, lala::SearchTree< A, Split, Allocator >, lala::SplitStrategy< A, Allocator >, lala::Table< A, U, Allocator >, lala::Tables< A, U, Allocator >

- s -

• sequential : lala::BAB< A, B >, lala::SearchTree< A, Split, Allocator >, lala::SplitStrategy< A, Allocator >, lala::Table< A, U, Allocator >, lala::Tables< A, U, Allocator >
• split_snap : lala::SearchTree< A, Split, Allocator >::snapshot_type< Alloc2 >
• split_tell : lala::SearchTree< A, Split, Allocator >::tell_type< Alloc >
• sub : lala::SearchTree< A, Split, Allocator >::snapshot_type< Alloc2 >, lala::Table< A, U, Allocator >::ask_type< Alloc >, lala::Table< A, U, Allocator >::tell_type< Alloc >, lala::Tables< A, U, Allocator >::ask_type< Alloc >, lala::Tables< A, U, Allocator >::tell_type< Alloc >
• sub_snap : lala::SearchTree< A, Split, Allocator >::snapshot_type< Alloc2 >, lala::Table< A, U, Allocator >::snapshot_type< Alloc2 >, lala::Tables< A, U, Allocator >::snapshot_type< Alloc2 >
• sub_tell : lala::BAB< A, B >::tell_type< Alloc >, lala::SearchTree< A, Split, Allocator >::tell_type< Alloc >

- t -

• tell_table : lala::Table< A, U, Allocator >::tell_type< Alloc >
• tell_tables : lala::Tables< A, U, Allocator >::tell_type< Alloc >
• total_cells : lala::Tables< A, U, Allocator >::snapshot_type< Alloc2 >

- v -

• val_order : lala::SplitStrategy< A, Allocator >::strategy_type< Alloc2 >
• var_order : lala::SplitStrategy< A, Allocator >::strategy_type< Alloc2 >
• vars : lala::SplitStrategy< A, Allocator >::strategy_type< Alloc2 >

- x -

• x : lala::BAB< A, B >::tell_type< Alloc >