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

- i -

• identifier : llzk::smt::detail::SortTypeStorage
• implArrayRefOpInterface : llzk::array::detail::ArrayAccessOpInterfaceInterfaceTraits::Concept
• implConditionOpInterface : llzk::verif::detail::PostconditionOpInterfaceInterfaceTraits::Concept, llzk::verif::detail::PreconditionOpInterfaceInterfaceTraits::Concept
• implMemoryEffectOpInterface : llzk::verif::detail::ConditionOpInterfaceInterfaceTraits::Concept, llzk::verif::detail::PostconditionOpInterfaceInterfaceTraits::Concept, llzk::verif::detail::PreconditionOpInterfaceInterfaceTraits::Concept
• implPodRefOpInterface : llzk::pod::detail::PodAccessOpInterfaceInterfaceTraits::Concept
• implSymbolOpInterface : llzk::polymorphic::detail::TemplateSymbolBindingOpInterfaceInterfaceTraits::Concept
• index : llzk::witgen::InputBinding
• influence : llzk::verif::ForbiddenPreconditionInfluenceInfo
• influenceInfo : llzk::verif::detail::IncludedContractFailure
• inheritedControlInfluence : llzk::verif::detail::IncludedContractSummaryKey
• initial_value : llzk::global::detail::GlobalDefOpGenericAdaptorBase::Properties
• initializedRecords : llzk::pod::detail::NewPodOpGenericAdaptorBase::Properties
• inlineIncludes : llzk::witgen::WitgenOptions
• intervalDFA : llzk::IntervalAnalysisContext
• is_signed : llzk::smt::detail::BV2IntOpGenericAdaptorBase::Properties
• isConst : ExtraMethod
• isRead : llzk::array::detail::ArrayAccessOpInterfaceInterfaceTraits::Concept, llzk::component::detail::MemberRefOpInterfaceInterfaceTraits::Concept, llzk::pod::detail::PodAccessOpInterfaceInterfaceTraits::Concept
• iterationLimit : llzk::polymorphic::FlatteningPassOptions, llzk::polymorphic::impl::FlatteningPassBase< DerivedT >