A B C D E F G H I J K L M N O P Q R S T U V W Z _

S

s_runtime - Static variable in class tuffy.util.DebugMan

safeRefOnly - Variable in class tuffy.mln.Predicate

TODO: if unsat then {if scope then do scope, else do cross product}

sameSet(UnionFind<E>.Record<E>, UnionFind<E>.Record<E>) - Method in class tuffy.util.UnionFind

sampleSAT(int) - Method in class tuffy.infer.MRF

SampleSAT (with WalkSAT inside), used to uniformly sample a zero-cost world.

samplesat_sa_coef - Static variable in class tuffy.util.Config

sampleSatMode - Variable in class tuffy.infer.MRF

The flag indicating whether MCSAT is running WalkSAT or SampleSAT.

sargs - Variable in class tuffy.mln.Atom

savedAutoCommit - Variable in class tuffy.db.RDB

saveLowLowTruth() - Method in class tuffy.infer.InferComponent

saveLowTruth(double) - Method in class tuffy.infer.MRF

If current truths have the lowest cost, save them.

saveTruthAsLow() - Method in class tuffy.infer.MRF

schema() - Method in class tuffy.parse.MLNParser

schemaConstraint() - Method in class tuffy.parse.MLNParser

schemaList() - Method in class tuffy.parse.MLNParser

scopes - Variable in class tuffy.mln.MarkovLogicNetwork

scopingRule() - Method in class tuffy.parse.MLNParser

scopingRules - Variable in class tuffy.mln.MarkovLogicNetwork

sealClauseInstances(RDB) - Method in class tuffy.mln.Clause

Flush the instance of this clause into database.

sealDefinition() - Method in class tuffy.mln.Predicate

Mark the point when all arguments have been given.

secondInMillis - Static variable in class tuffy.util.Timer

selectMCSAT() - Method in class tuffy.infer.ds.GClause

Return true if this clause is not set to ``dead''.

sense - Variable in class tuffy.mln.Literal

The positive/negative value of this literal.

sentinel - Variable in class tuffy.infer.InferBucket

seqCurr(String) - Static method in class tuffy.db.SQLMan

seqName(String) - Static method in class tuffy.db.SQLMan

seqNext(String) - Static method in class tuffy.db.SQLMan

set - Variable in class tuffy.util.BoundHashList

setAllQuery() - Method in class tuffy.mln.Predicate

Specify that all atoms of this predicate are queries.

setAutoCommit(boolean) - Method in class tuffy.db.RDB

Set auto-commit state of this connection.

setClauseAsRelevant(Clause) - Method in class tuffy.mln.MarkovLogicNetwork

Marks a clause as relevant.

setClosedWorld(boolean) - Method in class tuffy.mln.Predicate

Specify whether this predicate obeys the closed world assumption.

setCompeletelySpecified(boolean) - Method in class tuffy.mln.Predicate

setConstant(int) - Method in class tuffy.mln.Literal.VarClique

Set the constant of this clique.

setCoversAllMaterializedTuples(boolean) - Method in class tuffy.mln.Literal

Set whether we want this literal to cover all materialized tuples regardless of the sense of this literal.

setDB(RDB) - Method in class tuffy.mln.MarkovLogicNetwork

setDB(RDB) - Method in class tuffy.mln.Predicate

setHardWeight() - Method in class tuffy.mln.Clause

Specify this clause as a hard rule.

setHasSoftEvidence(boolean) - Method in class tuffy.mln.Predicate

setHead(Literal) - Method in class tuffy.ra.ConjunctiveQuery

Set the head of this query.

setId(int) - Method in class tuffy.mln.Clause

Set clause ID.

setID(int) - Method in class tuffy.mln.Predicate

Assign an ID for this predicate.

setIdx(int) - Method in class tuffy.mln.Literal

Assign an unique (within its parent clause) index to this literal.

setInferOps(long) - Method in class tuffy.util.Timer.RunStat

setInitStrategy(MRF.INIT_STRATEGY) - Method in class tuffy.infer.MRF

setMLN(MarkovLogicNetwork) - Method in class tuffy.mln.Predicate

setMrfInitStrategy(MRF.INIT_STRATEGY) - Method in class tuffy.infer.InferBucket

setMrfInitStrategy(MRF.INIT_STRATEGY) - Method in class tuffy.infer.InferComponent

setName(String) - Method in class tuffy.mln.Clause

Assign a name for this clause.

setNewTuplePrior(double) - Method in class tuffy.ra.ConjunctiveQuery

setNumThreads(int) - Method in class tuffy.infer.InferBucket

setParent(UnionFind<E>.Record<E>) - Method in class tuffy.util.UnionFind.Record

setPgFunction(String) - Method in class tuffy.ra.Function

Set the corresponding function name inside PgSQL.

setSafeRefOnly(boolean) - Method in class tuffy.mln.Predicate

Set whether all references to this predicate are safe; i.e., all variables in corresponding positive literals are bound to other literals in the same clause.

setScopingRule(boolean) - Method in class tuffy.ra.ConjunctiveQuery

setSense(boolean) - Method in class tuffy.mln.Literal

Set the sense of this literal.

setSilent(boolean) - Static method in class tuffy.util.UIMan

setSilentErr(boolean) - Static method in class tuffy.util.UIMan

settings - Variable in class tuffy.infer.InferBucket.CompWorker

settings - Variable in class tuffy.infer.InferBucket

Settings - Class in tuffy.util

Settings() - Constructor for class tuffy.util.Settings

Settings(Map<String, Object>) - Constructor for class tuffy.util.Settings

setTreeAdaptor(TreeAdaptor) - Method in class tuffy.parse.ConfigParser

setTreeAdaptor(TreeAdaptor) - Method in class tuffy.parse.MLNParser

setUp(CommandOptions) - Method in class tuffy.main.Infer

Set up MLN inference, including the following steps: 1) loadMLN Infer.loadMLN(tuffy.mln.MarkovLogicNetwork, tuffy.db.RDB, tuffy.parse.CommandOptions); 2) store symbols and evidence MarkovLogicNetwork.materializeTables(); 3) run KBMC; 4) apply scoping rules; 5) mark query atoms in the database MarkovLogicNetwork.storeAllQueries().

setUp() - Static method in class tuffy.test.ClauseTest

setUp() - Static method in class tuffy.test.ParsingLoadingTest

setVarWeight(String) - Method in class tuffy.mln.Clause

setWeight(double) - Method in class tuffy.mln.Clause

Set the weight of this clause.

setWeight(double) - Method in class tuffy.ra.ConjunctiveQuery

setWeight(double) - Method in class tuffy.util.UnionFind.Record

showHelp - Variable in class tuffy.parse.CommandOptions

showStats() - Method in class tuffy.ground.partition.Component

Show basic stats of this component.

showStats() - Method in class tuffy.ground.partition.Partition

Show basic stats about this partition.

sigMap - Variable in class tuffy.mln.MarkovLogicNetwork

Map from signature of clauses to Clause object.

Sign - Static variable in class tuffy.ra.Function

signature - Variable in class tuffy.mln.Clause

The signature of this clause.

silent - Static variable in class tuffy.util.UIMan

silentErr - Static variable in class tuffy.util.UIMan

Sin - Static variable in class tuffy.ra.Function

size - Variable in class tuffy.ground.partition.Bucket

Estimated size in bytes.

size() - Method in class tuffy.ground.partition.Bucket

size() - Method in class tuffy.ground.partition.Component

The size of this component estimated in the number fo bytes consumed to store this component in RAM.

size() - Method in class tuffy.ground.partition.Partition

Get the estimated RAM size of this partition.

size() - Method in class tuffy.ground.partition.PartitionScheme

Estimated RAM size required to hold everything.

size() - Method in class tuffy.mln.Type

Return the number of constants in this type domain.

size - Variable in class tuffy.util.HashArray

size - Variable in class tuffy.util.UnionFind.Record

soft_evidence_activation_threshold - Static variable in class tuffy.util.Config

softRule() - Method in class tuffy.parse.MLNParser

sourceClause - Variable in class tuffy.ra.ConjunctiveQuery

SPAN - Static variable in class tuffy.parse.ConfigLexer

SPAN - Static variable in class tuffy.parse.ConfigParser

specialStateTransition(int, IntStream) - Method in class tuffy.parse.MLNParser.DFA40

specialStateTransition(int, IntStream) - Method in class tuffy.parse.MLNParser.DFA45

specText - Variable in class tuffy.mln.Clause

Lines in the MLN rule file specifying this clause.

SpiderMan - Class in tuffy.util

SpiderMan() - Constructor for class tuffy.util.SpiderMan

spit(int, String) - Method in class tuffy.util.PlotMan

split(int) - Method in class tuffy.infer.MRF

For research experiments! Split the MRF into multiple pieces by agglomerative clustering.

SplitPart - Static variable in class tuffy.ra.Function

sql - Variable in class tuffy.ra.ConjunctiveQuery.StringSet

sqlFromList - Variable in class tuffy.mln.Clause

The From sub-clause of SQL for grounding.

sqlFuncMisc - Static variable in class tuffy.db.SQLMan

sqlIntArrayFuncReg - Static variable in class tuffy.db.SQLMan

SQLMan - Class in tuffy.db

Container of SQL related utilities.

SQLMan() - Constructor for class tuffy.db.SQLMan

sqlPivotAttrsList - Variable in class tuffy.mln.Clause

The list of attributes that are NOT existential variables.

sqlRandomAgg - Static variable in class tuffy.db.SQLMan

sqlTypeConversions - Static variable in class tuffy.db.SQLMan

sqlWhereBindings - Variable in class tuffy.mln.Clause

The Where sub-clause of SQL for grounding.

Sqrt - Static variable in class tuffy.ra.Function

start(String) - Static method in class tuffy.util.Timer

Kicks off a timer with the given name.

state() - Method in class tuffy.parse.ConfigParser

Stats - Class in tuffy.helper

Stats collected from inference.

Stats() - Constructor for class tuffy.helper.Stats

Stats.ClauseCostComparator - Class in tuffy.helper

Stats.ClauseCostComparator() - Constructor for class tuffy.helper.Stats.ClauseCostComparator

stop_samplesat_upon_sat - Static variable in class tuffy.util.Config

storeAllEvidence() - Method in class tuffy.mln.MarkovLogicNetwork

Store all evidences into the database by flushing the "buffers".

storeAllQueries() - Method in class tuffy.mln.MarkovLogicNetwork

Ground and store all query atoms.

storeConstantList(RDB) - Method in class tuffy.mln.Type

Store the list of constants in a DB table.

storeQueries() - Method in class tuffy.mln.Predicate

Ground query atoms and store the result in the database.

strata - Variable in class tuffy.ground.KBMC.AtomCutSet

List of stratum in this AtomCutSet.

StrContains - Static variable in class tuffy.ra.Function

StrEndsWith - Static variable in class tuffy.ra.Function

String - Static variable in class tuffy.mln.Type

STRING - Static variable in class tuffy.parse.MLNLexer

STRING - Static variable in class tuffy.parse.MLNParser

StringMan - Class in tuffy.util

Container of string related utilities.

StringMan() - Constructor for class tuffy.util.StringMan

StrPos - Static variable in class tuffy.ra.Function

StrStartsWith - Static variable in class tuffy.ra.Function

subOne() - Method in class tuffy.infer.MRF.myInt

substitute(HashMap<String, Term>) - Method in class tuffy.mln.Literal

Apply a substitution to this literal.

Substr - Static variable in class tuffy.ra.Function

subsumes(Tuple) - Method in class tuffy.ground.KBMC.AtomCutSet.Stratum

Test whether there is a tuple in this stratum subsumes the input tuple.

subsumes(Tuple) - Method in class tuffy.ground.KBMC.AtomCutSet

Returns true if there exists a tuple in this AtomCutSet that subsumes the input tuple.

subsumes(Tuple) - Method in class tuffy.mln.Tuple

Test if the tuple subsumes the argument tuple.

Subtract - Static variable in class tuffy.ra.Function

SuperMan - Class in tuffy.util

SuperMan() - Constructor for class tuffy.util.SuperMan

swallow(Literal.VarClique) - Method in class tuffy.mln.Literal.VarClique

Merge a new clique with the current one.

sweep(int, int) - Method in class tuffy.infer.PGInfer

Deprecated. Run SweepSAT in the RDBMS.

sweepsat_greedy_probability - Static variable in class tuffy.util.Config

synpred49_MLN() - Method in class tuffy.parse.MLNParser

synpred49_MLN_fragment() - Method in class tuffy.parse.MLNParser

synpred50_MLN() - Method in class tuffy.parse.MLNParser

synpred50_MLN_fragment() - Method in class tuffy.parse.MLNParser

synpred62_MLN() - Method in class tuffy.parse.MLNParser

synpred62_MLN_fragment() - Method in class tuffy.parse.MLNParser

synpred73_MLN() - Method in class tuffy.parse.MLNParser

synpred73_MLN_fragment() - Method in class tuffy.parse.MLNParser

synpred75_MLN() - Method in class tuffy.parse.MLNParser

synpred75_MLN_fragment() - Method in class tuffy.parse.MLNParser

synpred76_MLN() - Method in class tuffy.parse.MLNParser

synpred76_MLN_fragment() - Method in class tuffy.parse.MLNParser

synpred77_MLN() - Method in class tuffy.parse.MLNParser

synpred77_MLN_fragment() - Method in class tuffy.parse.MLNParser