Here is a list of all documented class members with links to the class documentation for each member:
- g
: CacheCount
- gain
: ExistFormula
, AuxClauseData
- gamma
: GibbsParams
- GelmanConvergenceTest()
: GelmanConvergenceTest
- genTruthValueForProb()
: MCMC
- get1DArray()
: MultDArray< Type >
- getActiveClauseCnt()
: Clause
- getActiveClauses()
: VariableState
, Clause
- getActiveStatus()
: Database
- getArray()
: ArraysAccessor< Type >
- getAtomInClause()
: VariableState
- getAtomsInClause()
: VariableState
- getAuxClauseData()
: Clause
- getBlock()
: LWInfo
, LazyInfo
- getBlockArray()
: VariableState
- getBlockEvidence()
: VariableState
, MRF
- getBlockIndex()
: VariableState
- getBlocks()
: MRF
- getBlockSize()
: VariableState
, FreeStoreManager
- getBreakCost()
: VariableState
- getClause()
: MLN
- getClauseCost()
: VariableState
- getClauseFormulaIndexes()
: IndexTranslator
- getClauseFormulaWts()
: IndexTranslator
- getClauseFrequencies()
: GroundClause
- getClauseFrequency()
: GroundClause
- getClauseIdxToClauseFormulaIdxsPerDomain()
: IndexTranslator
- getClauseOrdering()
: IndexTranslator
- getClauses()
: MLN
- getClauseSampler()
: Clause
- getClausesContainingPred()
: MLN
- getClauseSize()
: VariableState
- getClausesOfFormula()
: MLN
- getClauseTrueCnts()
: Inference
- getClauseWts()
: MLN
- getClosedWorld()
: Database
- getConstantId()
: Domain
- getConstantIndexInType()
: Domain
- getConstantName()
: Domain
- getConstantNames()
: Domain
- getConstantsByType()
: Domain
- getConstantTypeId()
: Domain
- getConstantTypeName()
: Domain
- getConstDualMap()
: Domain
- getConvergenceScore()
: ConvergenceTest
, GelmanConvergenceTest
- getCostOfFalseClauses()
: VariableState
- getDB()
: Domain
- getDeactivatedStatus()
: Database
- getDelta()
: ClauseSampler
- getDomain()
: Database
, VariableState
- getEmptyFuncBinaryTemplate()
: Domain
- getEmptyFunctionBinaryTemplate()
: Domain
- getEmptyFunctionUnaryTemplate()
: Domain
- getEmptyFuncUnaryTemplate()
: Domain
- getEmptyPredicateTemplate()
: Domain
- getEmptyPredTemplate()
: Domain
- getEpsilon()
: ClauseSampler
- getEqualPredicateTemplate()
: Domain
- getEqualPredTemplate()
: Domain
- getEvidence()
: LWInfo
, LazyInfo
- getEvidenceStatus()
: Database
- getExistFormulaOrdering()
: IndexTranslator
- getFalseGndPreds()
: GroundPreds
- getFormulaAndClausesArray()
: MLN
- getFormulaWt()
: MLN
- getFuncDualMap()
: Domain
- getFuncSet()
: Domain
- getFunction()
: Term
- getFunctionId()
: Domain
- getFunctionMappings()
: Domain
- getFunctionName()
: Domain
- getFunctionNames()
: Domain
- getFunctionRetConstId()
: Domain
- getFunctionTemplate()
: Domain
- getFunctionTermTypesAsInt()
: Domain
- getFunctionTermTypesAsStr()
: Domain
- getGndClause()
: VariableState
- getGndClauses()
: MRF
- getGndPred()
: VariableState
- getGndPredHashArrayPtr()
: VariableState
- getGndPredIndex()
: VariableState
- getGndPredIndexes()
: GroundClause
- getGndPreds()
: MRF
- getGradsPerDomain()
: IndexTranslator
- getGroundPredicate()
: GroundClause
- getGroundPredicateIndex()
: GroundClause
- getGroundPredicateSense()
: GroundClause
- getHardWt()
: VariableState
- getHeuristic()
: MaxWalkSat
- getHighestPredicateArity()
: Domain
- getId()
: Term
, Function
, GroundPredicate
, Predicate
, PredicateTemplate
- getImprovementByFlipping()
: VariableState
- getInactiveClauses()
: Clause
- getInBlock()
: LWInfo
, LazyInfo
- getIndexedGndings()
: Database
- getIndexOfAtomInRandomFalseClause()
: VariableState
- getIndexOfRandomAtom()
: VariableState
- getIndexTranslator()
: PseudoLogLikelihood
- getInt()
: ConstDualMap
, DualMap
- getInt2()
: ConstDualMap
- getIntArrRep()
: GroundPredicate
- getIntPredicate()
: IntClause
- getIntPredicates()
: IntClause
- getIntToInt2Arr()
: ConstDualMap
- getIntToStrArr()
: ConstDualMap
, DualMap
- getIntToStrIntArr()
: ConstDualMap
- getItem()
: StrFifoList
, MultDArray< Type >
- getItems()
: Array< Type >
, HashArray< Type, HashFn, EqualFn >
- getKnePreds()
: VariableState
- getKnePredValues()
: VariableState
- getLazy()
: VariableState
- getList()
: ListObj
, HashList< Type, HashFn, EqualFn >
- getLiteral()
: WSUtil
- getLowBad()
: VariableState
- getLowCost()
: VariableState
- getMakeCost()
: VariableState
- getMaxAbsSoftWt()
: MLN
- getMaxClauseWeight()
: VariableState
- getMaxIndex()
: HashArray< Type, HashFn, EqualFn >
, Array< Type >
- getMaxSamples()
: ClauseSampler
- getMaxValue()
: Array< Type >
, HashArray< Type, HashFn, EqualFn >
- getMean()
: MeanVariance
- getMinSamples()
: ClauseSampler
- getMLN()
: VariableState
- getMLNClauseInfo()
: MLN
- getMLNClauseInfoIndexPtr()
: MLN
- getMLNClauseInfos()
: MLN
- getName()
: Function
, Predicate
, PredicateTemplate
- getNegGndClauses()
: GroundPredicate
- getNegOccurenceArray()
: VariableState
- getNextCombination()
: ArraysAccessor< Type >
- getNextSet()
: PowerSet
- getNonEqualPredicateNames()
: Domain
- getNumActiveAtoms()
: VariableState
- getNumArrays()
: ArraysAccessor< Type >
- getNumAtoms()
: VariableState
- getNumBlocks()
: VariableState
- getNumClauseGndings()
: VariableState
- getNumClauseGndingsWithUnknown()
: VariableState
- getNumClauses()
: VariableState
, MLN
- getNumClausesAndExistFormulas()
: IndexTranslator
- getNumConstants()
: Domain
- getNumConstantsByType()
: Domain
- getNumDBAtoms()
: LWInfo
, LazyInfo
- getNumDeadClauses()
: VariableState
- getNumEvidenceGndPreds()
: Database
- getNumFalseClauses()
: VariableState
- getNumFalseGndPreds()
: Database
, GroundPreds
- getNumFunctions()
: Domain
- getNumGndClauses()
: GroundPredicate
, MRF
- getNumGndPreds()
: MRF
- getNumGroundings()
: Database
, Clause
- getNumGroundPredicates()
: GroundClause
- getNumHardClauses()
: MLN
- getNumInt()
: ConstDualMap
, DualMap
- getNumIntPredicates()
: IntClause
- getNumPredicates()
: Domain
, Clause
- getNumPredIds()
: Database
- getNumSamplesAdded()
: GelmanConvergenceTest
, ConvergenceTest
- getNumSolutions()
: SAT
- getNumTerms()
: Function
, GroundPredicate
, Predicate
, PredicateTemplate
- getNumTrueFalseUnknownGroundings()
: Clause
- getNumTrueGndPreds()
: Database
, GroundPreds
- getNumTrueGroundings()
: Clause
- getNumTrueLiteralGroundings()
: TrueFalseGroundingsStore
- getNumTrueLits()
: VariableState
- getNumTrueUnknownGroundings()
: Clause
- getNumTypes()
: Domain
- getNumUnknownGndPreds()
: Database
, GroundPreds
- getNumUnknownGroundings()
: Clause
- getNumValues()
: MeanVariance
- getNumVariables()
: Clause
- getNumVariablesAssumeCanonicalized()
: Clause
- getOccurenceArray()
: VariableState
- getOpAsString()
: Clause
- getOtherAtom()
: LWInfo
, LazyInfo
- getParent()
: Term
, Function
, Predicate
- getPosGndClauses()
: GroundPredicate
- getPosOccurenceArray()
: VariableState
- getPowerSet()
: PowerSet
- getPredDualMap()
: Domain
- getPredicate()
: Clause
- getPredicateId()
: Domain
- getPredicateName()
: Domain
- getPredicateNames()
: Domain
- getPredicates()
: Clause
- getPredicateTemplate()
: Domain
- getPredicateTermTypesAsInt()
: Domain
- getPredicateTermTypesAsStr()
: Domain
- getPredIdToClausesMap()
: MLN
- getProbability()
: UnitPropagation
, MCMC
, Inference
, GroundPredicate
, SAT
- getProbabilityOfPred()
: MCMC
- getProbTrue()
: MCMC
- getRandomAtomInClause()
: VariableState
- getRandomFalseClauseIndex()
: VariableState
- getRandomTrueLiteralGrounding()
: TrueFalseGroundingsStore
- getRandomTrueLitInClause()
: VariableState
- getRetConstId()
: Function
- getRetTypeId()
: Function
, FunctionTemplate
- getRetTypeName()
: Function
, FunctionTemplate
- getSampleSat()
: LWInfo
, LazyInfo
- getSeed()
: Inference
- getSense()
: Predicate
- getSetSizeArr()
: PowerSet
- getSize()
: StrFifoList
- getState()
: Inference
- getStorePtr()
: FreeStoreManager
- getStr()
: ConstDualMap
, DualMap
, ListObj
- getStrToFuncTemplateMap()
: Domain
- getStrToPredTemplateMap()
: Domain
- getSupersetClauses()
: LWInfo
, LazyInfo
- getTargetCost()
: SAT
- getTemplate()
: Function
, Predicate
- getTerm()
: Predicate
, Function
- getTermId()
: GroundPredicate
- getTermsUnique()
: PredicateTemplate
- getTermTypeAsInt()
: PredicateTemplate
, Predicate
, Function
- getTermTypeAsStr()
: PredicateTemplate
, Function
, Predicate
- getTermTypesAsInt()
: PredicateTemplate
- getTermTypesAsStr()
: PredicateTemplate
- getTrueFalseGroundingsStore()
: Domain
- getTrueFixedAtomInBlock()
: VariableState
- getTrueGndPreds()
: GroundPreds
- getTrueLiteralOtherThan()
: VariableState
- getTrueNonEvidenceGndPreds()
: Database
- getTruthValue()
: Predicate
, GroundPredicate
- getTruthValueAsStr()
: Predicate
- getType()
: Term
- getTypeDualMap()
: Domain
- getTypeId()
: Domain
- getTypeIdToVarIdsMapAndSmallestVarId()
: Clause
- getTypeName()
: Domain
- getTypeNames()
: Domain
- getUnePreds()
: VariableState
- getUnknownClauses()
: Clause
- getUnknownGndPreds()
: GroundPreds
- getUnSatCostPerPred()
: LazyInfo
, LWInfo
- getUnSatCostWhenFlipped()
: LazyInfo
, LWInfo
- getUseThreshold()
: VariableState
- getValue()
: Database
- getValueAndGradient()
: PseudoLogLikelihood
- getValueAsString()
: Database
- getValueOfAtom()
: VariableState
- getValueOfLowAtom()
: VariableState
- getVar()
: LazyInfo
, LWInfo
- getVarCount()
: LazyInfo
, LWInfo
- getVariance()
: MeanVariance
- getVarVal()
: LazyInfo
, LWInfo
- getWalksatClauses()
: LazyInfo
, LWInfo
, LazyInfo
- getWalksatClausesWhenFlipped()
: LazyInfo
, LWInfo
- getWatch1()
: VariableState
- getWatch2()
: VariableState
- getWt()
: Clause
, GroundClause
, IntClause
- getWtPtr()
: Clause
- getWtsPerDomain()
: IndexTranslator
- getWtWhenFalse()
: GroundPredicate
- getWtWhenTrue()
: GroundPredicate
- gibbsSampleFromBlock()
: MCMC
- GibbsSampler()
: GibbsSampler
- gndClauses
: AddGroundClauseStruct
- gndClausesSet
: AddGroundClauseStruct
- gndPredFlippedUpdates()
: MCMC
- gndPreds
: AddGroundClauseStruct
- greaterThan()
: Internals
- greaterThanEq()
: Internals
- GroundPredicate()
: GroundPredicate
- GroundPreds()
: GroundPreds
- growToSize()
: Array< Type >
, HashArray< Type, HashFn, EqualFn >
, Array< Type >
- GT_NAME
: PredicateTemplate
- GTEQ_NAME
: PredicateTemplate
Generated on Tue Jan 16 05:30:05 2007 for Alchemy by
1.5.1