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

I

ibucket - Variable in class tuffy.infer.InferBucket.CompWorker
 
iclauses - Variable in class tuffy.mln.Predicate
Set of clauses referencing this predicate.
id - Variable in class tuffy.ground.partition.Bucket
 
id - Variable in class tuffy.ground.partition.Component
 
id - Variable in class tuffy.ground.partition.Partition
 
id - Variable in class tuffy.infer.ds.GAtom
ID of this GAtom.
id - Variable in class tuffy.infer.ds.GClause
ID of this GClause.
id - Variable in class tuffy.mln.Clause
id of this cluase.
id - Variable in class tuffy.mln.MarkovLogicNetwork
 
id - Variable in class tuffy.mln.Predicate
The assigned ID for this predicate in its parent MLN Predicate.mln.
ID - Static variable in class tuffy.parse.MLNLexer
 
ID - Static variable in class tuffy.parse.MLNParser
 
id - Variable in class tuffy.ra.ConjunctiveQuery
 
idGen - Static variable in class tuffy.mln.MarkovLogicNetwork
 
idGen - Static variable in class tuffy.ra.ConjunctiveQuery
 
idx - Variable in class tuffy.mln.Literal
The index of this literal in its parent clause.
IMPLIES - Static variable in class tuffy.parse.MLNLexer
 
IMPLIES - Static variable in class tuffy.parse.MLNParser
 
indexBuilt - Static variable in class tuffy.ra.ConjunctiveQuery
 
indexName(String, String) - Static method in class tuffy.db.SQLMan
 
indices - Variable in class tuffy.util.HashArray
 
infer(Settings) - Method in class tuffy.infer.InferBucket
 
infer(Settings) - Method in class tuffy.infer.InferPartitioned
Run partition-aware MAP inference.
Infer - Class in tuffy.main
Common routines to inference procedures.
Infer() - Constructor for class tuffy.main.Infer
 
InferBucket - Class in tuffy.infer
A bucket of inference tasks that can run in prallel.
InferBucket(Bucket) - Constructor for class tuffy.infer.InferBucket
 
InferBucket.CompWorker - Class in tuffy.infer
A worker thread that runs inference on one component at a time.
InferBucket.CompWorker(InferBucket) - Constructor for class tuffy.infer.InferBucket.CompWorker
 
InferComponent - Class in tuffy.infer
Performing inference on one MRF component.
InferComponent(Component) - Constructor for class tuffy.infer.InferComponent
 
InferenceTest - Class in tuffy.test
Testing class for Inference.
InferenceTest() - Constructor for class tuffy.test.InferenceTest
 
inferGaussSeidelMap(int, int, int) - Method in class tuffy.infer.InferComponent
Gauss-Seidel MAP inference scheme.
inferGaussSeidelMarginal(int, int, int) - Method in class tuffy.infer.InferComponent
Gauss-Seidel MAP inference scheme.
inferMAP(int, int) - Method in class tuffy.infer.InferComponent
Run partition-aware MAP inference with the Gauss-Seidel scheme.
inferMarginal(int, int) - Method in class tuffy.infer.InferComponent
Run partition-aware marginal inference with the Gauss-Seidel scheme.
inferOps - Variable in class tuffy.infer.MRF
 
inferOps - Variable in class tuffy.util.Timer.RunStat
 
InferPartitioned - Class in tuffy.infer
Scheduler of partition-aware inference.
InferPartitioned(Grounding, DataMover) - Constructor for class tuffy.infer.InferPartitioned
 
inferSec - Variable in class tuffy.util.Timer.RunStat
 
inferSweepSAT(int, int) - Method in class tuffy.infer.MRF
Deprecated.  
inferWalkSAT(int, int) - Method in class tuffy.infer.MRF
Run WalkSAT.
inferWalkSATwithBlocks(int, int) - Method in class tuffy.infer.MRF
Run WalkSAT with blocks.
inferWalkSATwithoutBlocking(int, int) - Method in class tuffy.infer.MRF
Run WalkSAT.
InitCap - Static variable in class tuffy.ra.Function
 
initMRF() - Method in class tuffy.infer.MRF
Initialize the state of the MRF.
initStrategy - Variable in class tuffy.infer.MRF
 
initTruthRandom() - Method in class tuffy.infer.InferComponent
 
input(String) - Method in class tuffy.util.PlotMan
 
InputParser - Class in tuffy.parse
 
InputParser(MarkovLogicNetwork) - Constructor for class tuffy.parse.InputParser
 
instances - Variable in class tuffy.mln.Clause
List of instances of this clause.
Integer - Static variable in class tuffy.mln.Type
 
INTEGER - Static variable in class tuffy.parse.MLNLexer
 
INTEGER - Static variable in class tuffy.parse.MLNParser
 
intermediateRules - Variable in class tuffy.mln.MarkovLogicNetwork
 
invalidateLowCost() - Method in class tuffy.infer.MRF
Reset low-cost to infinity.
inverseEmbededWeight - Variable in class tuffy.ra.ConjunctiveQuery
 
invertDelta() - Method in class tuffy.infer.ds.GAtom
Exchange the value of GAtom.rescue and GAtom.violate.
IronMan - Class in tuffy.util
 
IronMan() - Constructor for class tuffy.util.IronMan
 
isAllQuery - Variable in class tuffy.mln.Predicate
Whether all unknown atoms of this predicate are queries.
isAlwaysTrue(GClause) - Method in class tuffy.infer.MRF
Test if a clause is always true no matter how we flip flippable atoms.
isBoolean() - Method in class tuffy.ra.Expression
Test if this expression returns a boolean value
isBuiltIn() - Method in class tuffy.mln.Literal
Return whether the predicate of this literal is a built-in predicate.
isBuiltIn - Variable in class tuffy.mln.Predicate
Whether this predicate is a built-in predicate.
isBuiltIn() - Method in class tuffy.mln.Predicate
 
isBuiltIn() - Method in class tuffy.ra.AtomEx
 
isBuiltIn() - Method in class tuffy.ra.Function
 
isBuiltIn_ - Variable in class tuffy.ra.Function
 
isBuiltInPredName(String) - Static method in class tuffy.mln.Predicate
Return true if the argument is the name of a built-in predicate.
isClosedWorld() - Method in class tuffy.mln.Predicate
Check if this predicate makes the closed-world assumption.
isCompletelySepcified() - Method in class tuffy.mln.Predicate
 
isCompletelySpecified - Variable in class tuffy.mln.Predicate
 
isConstant() - Method in class tuffy.mln.Term
 
isCRFChainRule - Variable in class tuffy.ra.ConjunctiveQuery
 
isCurrentlyView - Variable in class tuffy.mln.Predicate
 
isDLearningMode - Variable in class tuffy.parse.CommandOptions
 
isEmpty() - Method in class tuffy.ground.KBMC.AtomCutSet.Stratum
Return true if this stratum is empty.
isEmpty() - Method in class tuffy.util.HashArray
 
isFictitious - Variable in class tuffy.ra.ConjunctiveQuery
 
isHardClause() - Method in class tuffy.infer.ds.GClause
Return whether this clause is a hard clause.
isHardClause() - Method in class tuffy.mln.Clause
Return whether this clause is a hard rule.
isHardMappings - Static variable in class tuffy.learn.Learner
Map from clause name to whether it is assigned to hard weight clause while learning.
isImmutable() - Method in class tuffy.mln.Predicate
 
isNonSymbolicType - Variable in class tuffy.mln.Type
 
isNonSymbolicType() - Method in class tuffy.mln.Type
See if this type is non-symbolic.
isNumeric() - Method in class tuffy.ra.Expression
Test if this expression returns a numeric value
isOperator() - Method in class tuffy.ra.Function
 
isOperator_ - Variable in class tuffy.ra.Function
 
isOriAConstant - Variable in class tuffy.mln.Term
 
isPositiveClause() - Method in class tuffy.infer.ds.GClause
Return whether this clause is a positive clause.
isPositiveClause() - Method in class tuffy.mln.Clause
Check if the weight is positive.
isRoot() - Method in class tuffy.util.UnionFind.Record
 
isSafeRefOnly() - Method in class tuffy.mln.Predicate
 
isSameAs(Literal) - Method in class tuffy.mln.Literal
Compare a given literal with this one.
isScoped(Predicate) - Method in class tuffy.mln.MarkovLogicNetwork
Test whether a predicate is scoped
isScopingRule - Variable in class tuffy.ra.ConjunctiveQuery
 
isScopingRule() - Method in class tuffy.ra.ConjunctiveQuery
 
isSoftEvidence() - Method in class tuffy.mln.Atom
Test if this atom is soft evidence.
isStatic - Variable in class tuffy.ra.ConjunctiveQuery
 
isString() - Method in class tuffy.ra.Expression
Test if this expression returns a string value
isTemplate - Variable in class tuffy.mln.Clause
Indicates whether this clause contains constants.
isTemplate() - Method in class tuffy.mln.Clause
Return true iff this clause contains constant.
isTrueLit(int) - Method in class tuffy.infer.MRF
Check if a given literal is true under current truth assignment.
isVariable - Variable in class tuffy.mln.Term
Whether this term is a variable.
isVariable() - Method in class tuffy.mln.Term
Return whether this term is a variable.
isView - Variable in class tuffy.ra.ConjunctiveQuery
 

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