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

- s -

• same() : GroundClause , Clause , Predicate , Term , GroundPredicate , IntClause , Function
• sameTruthValueAndSense() : Database
• samplesPerTest : GibbsParams
• saRatio : SampleSatParams
• SAT() : SAT
• saTemp : SampleSatParams
• saveLowState() : VariableState
• saveLowStateToChain() : MCMC
• saveLowStateToDB() : VariableState
• saveLowStateToGndPreds() : VariableState
• seed_ : Inference
• seenPreds : AddGroundClauseStruct
• selectClauses() : LazyInfo , LWInfo
• setActive() : LWInfo , LazyInfo
• setActiveStatus() : Database
• setAllActive() : LazyInfo , LazyUtil , LWInfo , LWUtil
• setAllFalse() : LazyInfo , LWInfo
• setAllInactive() : LazyInfo , LWInfo
• setAuxClauseData() : Clause
• setClauseInfoPriorMeansToClauseWts() : MLN
• setClauseSampler() : Clause
• setClauseWts() : MLN
• setClosedWorld() : Database
• setConstantsByType() : Domain
• setConstDualMap() : Domain
• setDB() : Domain
• setDeactivatedStatus() : Database
• setDelta() : ClauseSampler
• setDirty() : Clause
• setEmptyFuncBinaryTemplate() : Domain
• setEmptyFuncUnaryTemplate() : Domain
• setEmptyPredTemplate() : Domain
• setEpsilon() : ClauseSampler
• setEqualPredTemplate() : Domain
• setEvidence() : LazyInfo , LWInfo
• setEvidenceStatus() : Database
• setFormulaIsExistUnique() : MLN
• setFormulaIsHard() : MLN
• setFormulaNumPreds() : MLN
• setFormulaPriorMean() : MLN
• setFormulaWt() : MLN
• setFtol() : LBFGSB
• setFuncSet() : Domain
• setFunction() : Term
• setGndClausesWtsToSumOfParentWts() : MRF , VariableState
• setGroundPredicateIndex() : GroundClause
• setHardClauseWeight() : LWInfo , LazyInfo
• setHeuristic() : MaxWalkSat
• setId() : PredicateTemplate , Term
• setInactive() : LWInfo , LazyInfo
• setInBlock() : LazyInfo , LWInfo
• setIndexTranslator() : PseudoLogLikelihood
• setIsHardClause() : Clause
• setItem() : MultDArray< Type >
• setLazy() : VariableState
• setLazyFlag() : Database
• setMaxIter() : LBFGSB
• setMaxSamples() : ClauseSampler
• setMCMCParameters() : MCMC
• setMeansStdDevs() : PseudoLogLikelihood , VotedPerceptron
• setMinSamples() : ClauseSampler
• setName() : PredicateTemplate
• setNumSolutions() : SAT
• setNumValues() : MeanVariance
• setOtherAtom() : LazyInfo , LWInfo
• setOthersInBlockToFalse() : VariableState , LazyInfo , LWInfo , MCMC
• setParent() : Predicate , Function , Term
• setPerformingInference() : Database
• setPrevDB() : LazyInfo , LWInfo
• setPriorMeans() : IndexTranslator
• setProbTrue() : MCMC
• setRelevantClausesFormulas() : IndexTranslator
• setRetConstId() : Function
• setSampleGndPreds() : PseudoLogLikelihood
• setSampleSat() : LazyInfo , LWInfo
• setSeed() : Inference
• setSense() : Predicate
• setState() : Inference
• setStrIfStr() : ListObj
• setStrToFuncTemplateMapAndFuncDualMap() : Domain
• setStrToPredTemplateMapAndPredDualMap() : Domain
• setTargetCost() : SAT
• setTemplate() : Predicate , Function
• setTermToConstant() : Predicate
• setTrueFalseGroundingsStore() : Domain
• setTruthValue() : GroundPredicate , Predicate
• setTypeDualMap() : Domain
• setUseThreshold() : VariableState
• setValue() : Database
• setValueOfAtom() : VariableState
• setValues() : Permutation< Type >
• setValuesToGivenValues() : Database
• setValuesToUnknown() : Database
• setVarVal() : LazyInfo , LWInfo
• setVarVals() : LazyInfo , LWInfo
• setWatch1() : VariableState
• setWatch2() : VariableState
• setWt() : GroundClause , Clause
• setWtToHardWt() : GroundClause
• setWtToSumOfParentWts() : GroundClause
• setWtWhenFalse() : GroundPredicate
• setWtWhenTrue() : GroundPredicate
• shrinkToSize() : Array< Type >
• shuffle() : Array< Type > , HashArray< Type, HashFn, EqualFn >
• simplifyClauseFromFixedAtoms() : VariableState
• SimulatedTempering() : SimulatedTempering
• size() : HashList< Type, HashFn, EqualFn > , Array< Type > , ListObj , Permutation< Type > , HashArray< Type, HashFn, EqualFn >
• sizeIdx : PowerSetInstanceVars
• sizeKB() : GroundPredicate , MRF
• sizeMB() : Clause , Predicate , AuxClauseData , Term
• smallSizeFirst : PowerSetInstanceVars
• sortByLen() : Clause
• ssParams : MaxWalksatParams
• state_ : Inference
• str_ : StrInt
• StrFifoList() : StrFifoList
• STRING_TYPE_NAME : PredicateTemplate
• stringToInt() : Internals
• StrInt() : StrInt
• StructLearn() : StructLearn
• subInterval : SimulatedTemperingParams
• subseqGndLits : LitIdxVarIdsGndings
• substr() : Internals , Util
• SUBSTR_NAME : PredicateTemplate
• subtractBreakCost() : VariableState
• subtractBreakCostFromAtomsInClause() : VariableState
• subtractMakeCost() : VariableState
• subtractMakeCostFromAtomsInClause() : VariableState
• succ() : Internals
• SUCC_NAME : PredicateTemplate

---