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

- a -

• atoms : lala::AtomicExtraction, lala::NonAtomicExtraction
• avar : lala::VStore< U, Allocator >::var_dom< Alloc >
• avar2lvar_snap : lala::VarEnv< Allocator >::snapshot_type
• avars : lala::Variable< Allocator >

- b -

• B : lala::TFormula< Allocator, ExtendedSig >

- c -

• complemented : lala::Interval< U >, lala::NBitset< N, Mem, T >, lala::PreSInc< N, VT >
• cpu_index : lala::DispatchIndex< Allocator >

- d -

• dom : lala::VStore< U, Allocator >::var_dom< Alloc >

- e -

• E : lala::TFormula< Allocator, ExtendedSig >
• env : lala::Simplifier< A, Allocator >::tell_type< Alloc >
• ESeq : lala::TFormula< Allocator, ExtendedSig >

- f -

• formulas : lala::Simplifier< A, Allocator >::tell_type< Alloc >

- g -

• gpu_index : lala::DispatchIndex< Allocator >

- i -

• increasing : lala::PreSInc< N, VT >
• injective_concretization : lala::ArithBound< PreUniverse, Mem >, lala::CartesianProduct< As >, lala::FlatUniverse< PreUniverse, Mem >, lala::Interval< U >, lala::NBitset< N, Mem, T >, lala::PreFLB< VT >, lala::PreFUB< VT >, lala::PreSInc< N, VT >, lala::PreZLB< VT >, lala::PreZUB< VT >, lala::Simplifier< A, Allocator >, lala::VStore< U, Allocator >
• is_abstract_universe : lala::ArithBound< PreUniverse, Mem >, lala::CartesianProduct< As >, lala::FlatUniverse< PreUniverse, Mem >, lala::Interval< U >, lala::NBitset< N, Mem, T >, lala::Simplifier< A, Allocator >, lala::VStore< U, Allocator >
• is_arithmetic : lala::ArithBound< PreUniverse, Mem >, lala::FlatUniverse< PreUniverse, Mem >, lala::Interval< U >, lala::NBitset< N, Mem, T >, lala::PreFLB< VT >, lala::PreFUB< VT >, lala::PreSInc< N, VT >, lala::PreZLB< VT >, lala::PreZUB< VT >
• is_lower_bound : lala::ArithBound< PreUniverse, Mem >, lala::PreFLB< VT >, lala::PreFUB< VT >, lala::PreZLB< VT >, lala::PreZUB< VT >
• is_totally_ordered : lala::ArithBound< PreUniverse, Mem >, lala::CartesianProduct< As >, lala::FlatUniverse< PreUniverse, Mem >, lala::Interval< U >, lala::NBitset< N, Mem, T >, lala::PreFLB< VT >, lala::PreFUB< VT >, lala::PreSInc< N, VT >, lala::PreZLB< VT >, lala::PreZUB< VT >, lala::Simplifier< A, Allocator >, lala::VStore< U, Allocator >
• is_upper_bound : lala::ArithBound< PreUniverse, Mem >, lala::PreFLB< VT >, lala::PreFUB< VT >, lala::PreZLB< VT >, lala::PreZUB< VT >

- l -

• LV : lala::TFormula< Allocator, ExtendedSig >
• lvar_index : lala::HashMapVarIndex< Allocator >
• lvars : lala::HashMapVarIndex< Allocator >, lala::ListVarIndex< Allocator >
• lvars_snap : lala::VarEnv< Allocator >::snapshot_type

- n -

• n : lala::AbstractDeps< Allocators >, lala::CartesianProduct< As >
• name : lala::ArithBound< PreUniverse, Mem >, lala::CartesianProduct< As >, lala::FlatUniverse< PreUniverse, Mem >, lala::Interval< U >, lala::NBitset< N, Mem, T >, lala::PreFLB< VT >, lala::PreFUB< VT >, lala::PreSInc< N, VT >, lala::PreZLB< VT >, lala::PreZUB< VT >, lala::Simplifier< A, Allocator >, lala::VarEnv< Allocator >, lala::Variable< Allocator >, lala::VStore< U, Allocator >
• num_vars : lala::Simplifier< A, Allocator >::tell_type< Alloc >

- p -

• preserve_bot : lala::ArithBound< PreUniverse, Mem >, lala::CartesianProduct< As >, lala::FlatUniverse< PreUniverse, Mem >, lala::Interval< U >, lala::NBitset< N, Mem, T >, lala::PreFLB< VT >, lala::PreFUB< VT >, lala::PreSInc< N, VT >, lala::PreZLB< VT >, lala::PreZUB< VT >, lala::Simplifier< A, Allocator >, lala::VStore< U, Allocator >
• preserve_concrete_covers : lala::ArithBound< PreUniverse, Mem >, lala::CartesianProduct< As >, lala::FlatUniverse< PreUniverse, Mem >, lala::Interval< U >, lala::NBitset< N, Mem, T >, lala::PreFLB< VT >, lala::PreFUB< VT >, lala::PreSInc< N, VT >, lala::PreZLB< VT >, lala::PreZUB< VT >, lala::Simplifier< A, Allocator >, lala::VStore< U, Allocator >
• preserve_join : lala::ArithBound< PreUniverse, Mem >, lala::CartesianProduct< As >, lala::FlatUniverse< PreUniverse, Mem >, lala::Interval< U >, lala::NBitset< N, Mem, T >, lala::PreFLB< VT >, lala::PreFUB< VT >, lala::PreZLB< VT >, lala::PreZUB< VT >, lala::Simplifier< A, Allocator >, lala::VStore< U, Allocator >
• preserve_meet : lala::ArithBound< PreUniverse, Mem >, lala::CartesianProduct< As >, lala::FlatUniverse< PreUniverse, Mem >, lala::Interval< U >, lala::NBitset< N, Mem, T >, lala::PreFLB< VT >, lala::PreFUB< VT >, lala::PreZLB< VT >, lala::PreZUB< VT >, lala::Simplifier< A, Allocator >, lala::VStore< U, Allocator >
• preserve_top : lala::ArithBound< PreUniverse, Mem >, lala::CartesianProduct< As >, lala::FlatUniverse< PreUniverse, Mem >, lala::Interval< U >, lala::NBitset< N, Mem, T >, lala::PreFLB< VT >, lala::PreFUB< VT >, lala::PreSInc< N, VT >, lala::PreZLB< VT >, lala::PreZUB< VT >, lala::Simplifier< A, Allocator >, lala::VStore< U, Allocator >

- r -

• R : lala::TFormula< Allocator, ExtendedSig >

- s -

• S : lala::TFormula< Allocator, ExtendedSig >
• Seq : lala::TFormula< Allocator, ExtendedSig >
• sequential : lala::ArithBound< PreUniverse, Mem >, lala::CartesianProduct< As >, lala::FlatUniverse< PreUniverse, Mem >, lala::Interval< U >, lala::NBitset< N, Mem, T >, lala::Simplifier< A, Allocator >, lala::VStore< U, Allocator >
• sort : lala::Variable< Allocator >
• sub : lala::Sort< Allocator >

- t -

• tag : lala::Sort< Allocator >

- v -

• V : lala::TFormula< Allocator, ExtendedSig >

- z -

• Z : lala::TFormula< Allocator, ExtendedSig >