- i -

• ignoreUnknownFlag() : ARGS
• inBlock() : LazyInfo , LWInfo
• inBlockWithEvidence() : LWInfo , LazyInfo
• incrementClauseFrequency() : GroundClause
• incrementNumDBAtoms() : LWInfo , LazyInfo
• incrementNumTrueLits() : VariableState
• IndexAndCount() : IndexAndCount
• IndexClause() : IndexClause
• IndexTranslator() : IndexTranslator
• infer() : GibbsSampler , MaxWalkSat , Inference , MCSAT , SimulatedTempering , UnitPropagation
• Inference() : Inference
• init() : GibbsSampler , LBFGSB , VariableState , MaxWalkSat , MCSAT , Random , SimulatedTempering , Inference , UnitPropagation
• 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
• intToString() : Internals , Util
• invertSense() : Predicate
• isActive() : LazyInfo , VariableState , LWInfo
• isBlockEvidence() : VariableState
• isClosedWorld() : Database
• isConstant() : Term , Domain
• isDeactivated() : LazyInfo , LWInfo
• isDeadClause() : VariableState
• isDirty() : Term , Predicate , Clause , Function
• isEmptyPred() : Predicate
• isEmptyPredicateTemplate() : PredicateTemplate
• isEqualPred() : PredicateTemplate , Predicate
• isEqualPredicateTemplate() : PredicateTemplate
• isEqualPredName() : PredicateTemplate
• isEqualPredWithType() : PredicateTemplate , Predicate
• isExistClause() : MLN
• isExistUniqueClause() : MLN
• isFunction() : Domain
• isGrounded() : Predicate , Term
• 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 >

---