Here is a list of all documented class members with links to the class documentation for each member:

- i -

• importClause() : Cadical, GlobalSharingStrategy, GlucoseSyrup, HordeSatSharing, Kissat, KissatINCSolver, KissatMABSolver, Lingeling, MallobSharing, MapleCOMSPSSolver, MiniSat, SharingEntity, SimpleSharing
• importClauses() : Cadical, GlobalSharingStrategy, GlucoseSyrup, HordeSatSharing, Kissat, KissatINCSolver, KissatMABSolver, Lingeling, MapleCOMSPSSolver, MiniSat, SharingEntity, SimpleSharing
• incrementEpoch() : MallobSharing
• initCadicalOptions() : Cadical
• initializeFilter() : MallobSharing
• initializeTypeId() : SolverInterface
• initialLbdLimit : HordeSatSharing
• initkissatMABOptions() : KissatMABSolver
• initKissatOptions() : Kissat
• initLiteralCount : ClauseDatabasePerSize
• initMembers() : Parsers::ClauseProcessor, Parsers::RedundancyFilter, Parsers::SBVAInit, Parsers::TautologyFilter
• initMpiVariables() : AllGatherSharing, GenericGlobalSharing, GlobalSharingStrategy, MallobSharing
• insert_unit() : Formula
• insertClause() : MallobSharing
• instantiateGlobalStrategies() : SharingStrategyFactory
• instantiateLocalStrategies() : SharingStrategyFactory
• isClauseShared() : MallobSharing
• isInitialized() : SolverInterface