Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
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
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
PREV LETTER
NEXT LETTER
FRAMES
NO FRAMES
All Classes
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
Z
_