- i -

• iac : IndexCountDomainIdx
• icdArray : ClauseAndICDArray
• id_ : PredicateTemplate , ZZVarIdType , Feature
• idx : IdxDiv
• implicitRep : BPParams
• index : IndexClause , MLNClauseInfo , IndexAndCount , FormulaAndClauses
• indexClauses : FormulaAndClauses
• inFileName_ : ZZFileState
• INT_TYPE_NAME : PredicateTemplate
• ints_ : StrInt
• isExistUnique : FormulaAndClauses
• isGrounded : VarsGroundedType
• isHard : FormulaAndClauses
• isIndivisible : ZZFormulaInfo
• isSatisfied_ : HVariableState
• items_ : PolyNomial
• iType : DoubleRange

---