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

- i -

• iac : IndexCountDomainIdx
• icdArray : ClauseAndICDArray
• id_ : PredicateTemplate , ZZVarIdType
• idx : IdxDiv
• ignoreUnknownFlag() : ARGS
• inBlock() : LWInfo , LazyInfo
• inBlockWithEvidence() : LWInfo , LazyInfo
• incrementClauseFrequency() : GroundClause
• incrementNumDBAtoms() : LWInfo , LazyInfo
• incrementNumTrueLits() : VariableState
• index : IndexAndCount , FormulaAndClauses , IndexClause , MLNClauseInfo
• IndexAndCount() : IndexAndCount
• IndexClause() : IndexClause
• indexClauses : FormulaAndClauses
• IndexTranslator() : IndexTranslator
• infer() : GibbsSampler , MaxWalkSat , MCSAT , Inference , SimulatedTempering , UnitPropagation
• Inference() : Inference
• inFileName_ : ZZFileState
• init() : GibbsSampler , MaxWalkSat , MCSAT , SimulatedTempering , UnitPropagation , Inference , LBFGSB , VariableState , Random
• initBlocks() : LWInfo , LazyInfo
• initBlocksRandom() : VariableState
• initLazyBlocks() : VariableState
• initMakeBreakCostWatch() : VariableState
• initNumTrue() : MCMC
• initNumTrueLits() : MCMC
• initRandom() : VariableState
• initTruthValuesAndWts() : MCMC
• insert() : HashList< Type, HashFn, EqualFn > , ConstDualMap , DualMap
• insertCounts() : PseudoLogLikelihood
• int_ : StrInt
• INT_TYPE_NAME : PredicateTemplate
• intToString() : Util , Internals
• invertSense() : Predicate
• isActive() : LazyInfo , VariableState , LWInfo
• isBlockEvidence() : VariableState
• isClosedWorld() : Database
• isConstant() : Term , Domain
• isDeactivated() : LazyInfo , LWInfo
• isDeadClause() : VariableState
• isDirty() : Term , Clause , Function , Predicate
• isEmptyPred() : Predicate
• isEmptyPredicateTemplate() : PredicateTemplate
• isEqualPred() : PredicateTemplate , Predicate
• isEqualPredicateTemplate() : PredicateTemplate
• isEqualPredName() : PredicateTemplate
• isEqualPredWithType() : Predicate , PredicateTemplate
• isExistClause() : MLN
• isExistUnique : FormulaAndClauses
• isExistUniqueClause() : MLN
• isFunction() : Domain
• isGrounded : VarsGroundedType , Predicate , Term
• isHard : FormulaAndClauses
• isHardClause() : GroundClause , Clause
• isIndexable() : Predicate
• isInternalFunctionTemplate() : FunctionTemplate
• isInternalFunctionTemplateName() : FunctionTemplate
• isInternalFunctionUnaryTemplateName() : FunctionTemplate
• isInternalPred() : Predicate
• isInternalPredicateTemplate() : PredicateTemplate
• isInternalPredicateTemplateName() : PredicateTemplate
• isInternalPredicateTemplateWithoutType() : PredicateTemplate
• isInternalPredWithoutType() : Predicate
• isList() : ListObj
• isLiteralNegated() : WSUtil
• isPredicate() : Domain
• isPredicateTemplateFromFunction() : PredicateTemplate
• isPredicateTemplateFromInternalFunction() : PredicateTemplate
• isSatisfiable() : Clause
• isStr() : ListObj
• isTrueLiteral() : VariableState
• isType() : Domain
• item() : Array< Type >

---