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
_
C
c
- Variable in class tuffy.parse.
MLNParser.foclause_return
c
- Variable in class tuffy.parse.
MLNParser.hardRule_return
c
- Variable in class tuffy.parse.
MLNParser.softRule_return
calcCosts()
- Method in class tuffy.infer.
MRF
Compute total cost and per-atom delta cost.
calcCostsForWalkSAT(HashSet<Integer>)
- Method in class tuffy.infer.
MRF
calcCurrentTrainingViolation()
- Method in class tuffy.learn.
Learner
Calculate current training violations according to current sign of weight.
calcExpViolation()
- Method in class tuffy.infer.
MRF
Calculating the different expectations by filling the HashMaps related to expectations in this class.
calcNSAT(GClause)
- Method in class tuffy.infer.
MRF
Calculate the number of true literals in a clause.
callFunctionDouble(String, String)
- Method in class tuffy.db.
RDB
Call a function that returns a double.
callProcedure(String)
- Method in class tuffy.db.
RDB
Call a stored procedure that doesn't have any parameters.
Ceil
- Static variable in class tuffy.ra.
Function
changeName
- Variable in class tuffy.ra.
Expression
checkBaseMem()
- Static method in class tuffy.util.
DebugMan
checkNumCriticalNodes
- Static variable in class tuffy.util.
Config
Research
checkPeakMem()
- Static method in class tuffy.util.
DebugMan
checkVariableSafety()
- Method in class tuffy.mln.
Clause
Check for unsafe variables in the clause, and mark the corresponding Predicates.
classAs
- Variable in class tuffy.ra.
ConjunctiveQuery.StringSet
classAsO
- Variable in class tuffy.ra.
ConjunctiveQuery.StringSet
Clause
- Class in
tuffy.mln
A first-order logic clause, namely a disjunct of literals.
Clause()
- Constructor for class tuffy.mln.
Clause
Construct an empty clause.
Clause.ClauseInstance
- Class in
tuffy.mln
Class of an instance of a clause.
Clause.ClauseInstance(ArrayList<Integer>, double)
- Constructor for class tuffy.mln.
Clause.ClauseInstance
Constructor of ClauseInstance.
clause_display_multiline
- Static variable in class tuffy.util.
Config
clauseLabelTrailing
- Variable in class tuffy.parse.
MLNParser
clauseName
- Variable in class tuffy.parse.
MLNParser
clauseNiNjViolationTallies
- Variable in class tuffy.infer.
MRF
This map records the tallies for calculating E(v_i*v_j).
clauses
- Variable in class tuffy.infer.
MRF
Array of all GClause objects in this MRF.
clauseSatTallies
- Variable in class tuffy.infer.
MRF
This array records total number of satisfaction for a clause.
clauseSquareVioTallies
- Variable in class tuffy.infer.
MRF
This array records total number of square violation for a clause.
ClauseTest
- Class in
tuffy.test
Testing Class for
Clause
object.
ClauseTest()
- Constructor for class tuffy.test.
ClauseTest
clauseVioTallies
- Variable in class tuffy.infer.
MRF
This array records total number of violation for a clause.
cleanUp()
- Method in class tuffy.main.
Infer
Clean up temporary data: the schema in PostgreSQL and the working directory.
cleanUp()
- Method in class tuffy.mln.
MarkovLogicNetwork
Clean up temporary data in DB and working dir, including 1) drop schema in PostgreSQL; 2) remove directory.
clear()
- Method in class tuffy.ground.
KBMC.AtomCutSet.Stratum
Empty this stratum.
clear()
- Method in class tuffy.util.
HashArray
clearIndexHistory()
- Static method in class tuffy.ra.
ConjunctiveQuery
clone()
- Method in class tuffy.mln.
Clause
clone()
- Method in class tuffy.mln.
Literal
clone()
- Method in class tuffy.mln.
MarkovLogicNetwork
clone()
- Method in class tuffy.ra.
ConjunctiveQuery
clone()
- Method in class tuffy.ra.
Expression
close()
- Method in class tuffy.db.
RDB
Close this connection.
closeDribbleFile()
- Static method in class tuffy.util.
UIMan
closedWorld
- Variable in class tuffy.mln.
Predicate
Whether this predicate obeys closed-world assumption.
closeFiles()
- Method in class tuffy.mln.
MarkovLogicNetwork
Close all file handles used by each predicate in
MarkovLogicNetwork.listPred
.
closeFiles()
- Method in class tuffy.mln.
Predicate
Close all file handles.
club()
- Method in class tuffy.mln.
Atom
Map the
Atom.AtomType
value of this atom into an integer, which is used internally by the DB.
clusteringPredicates
- Variable in class tuffy.mln.
MarkovLogicNetwork
clusterSize(E)
- Method in class tuffy.util.
UnionFind
clusterWeight(E)
- Method in class tuffy.util.
UnionFind
collectAll()
- Method in class tuffy.ground.
KBMC.AtomCutSet
Copy all tuples in each stratum to
KBMC.AtomCutSet.heap
.
comma(int)
- Static method in class tuffy.util.
UIMan
comma(long)
- Static method in class tuffy.util.
UIMan
comma(double)
- Static method in class tuffy.util.
UIMan
commaList(ArrayList<String>)
- Static method in class tuffy.util.
StringMan
Concatenates multiple strings with commas.
commaListParen(ArrayList<String>)
- Static method in class tuffy.util.
StringMan
Concatenates multiple strings with commas, and then surrounds the result with a pair of parentheses.
CommandOptions
- Class in
tuffy.parse
Parser for command line options.
CommandOptions()
- Constructor for class tuffy.parse.
CommandOptions
CommandOptions.InferDataStore
- Enum in
tuffy.parse
CommandOptions.InferDataStore()
- Constructor for enum tuffy.parse.
CommandOptions.InferDataStore
CommandOptions.MAPInferAlgo
- Enum in
tuffy.parse
CommandOptions.MAPInferAlgo()
- Constructor for enum tuffy.parse.
CommandOptions.MAPInferAlgo
COMMENT
- Static variable in class tuffy.parse.
ConfigLexer
COMMENT
- Static variable in class tuffy.parse.
ConfigParser
COMMENT
- Static variable in class tuffy.parse.
MLNLexer
COMMENT
- Static variable in class tuffy.parse.
MLNParser
commit()
- Method in class tuffy.db.
RDB
Commit the previous actions.
comp
- Variable in class tuffy.infer.
InferComponent
compare(Clause, Clause)
- Method in class tuffy.helper.
Stats.ClauseCostComparator
compareTo(Component)
- Method in class tuffy.ground.partition.
Component
compareTo(Partition)
- Method in class tuffy.ground.partition.
Partition
complete
- Variable in class tuffy.ground.
KBMC.AtomCutSet
Whether this AtomCutSet is complete.
compMap
- Variable in class tuffy.ground.partition.
PartitionScheme
Component
- Class in
tuffy.ground.partition
A component in the MRF.
Component()
- Constructor for class tuffy.ground.partition.
Component
components
- Variable in class tuffy.ground.partition.
PartitionScheme
Components and partitions.
comps
- Variable in class tuffy.ground.partition.
Bucket
computeActiveAtoms()
- Method in class tuffy.ground.
Grounding
Compute the closure of active atoms.
computeActiveClauses(String)
- Method in class tuffy.ground.
Grounding
Computes ground clauses activated by the current set of active atoms.
computeIncidenceTable(String, String)
- Method in class tuffy.ground.
Grounding
Create the atom-clause incidence relation.
con
- Variable in class tuffy.db.
RDB
Concat
- Static variable in class tuffy.ra.
Function
cond
- Variable in class tuffy.parse.
MLNParser.functionalAtom_return
config()
- Method in class tuffy.parse.
ConfigParser
Config
- Class in
tuffy.util
Container for global configuration parameters.
Config()
- Constructor for class tuffy.util.
Config
Config.MCSAT_OUTPUT_TUPLE_ORDER
- Enum in
tuffy.util
Config.MCSAT_OUTPUT_TUPLE_ORDER()
- Constructor for enum tuffy.util.
Config.MCSAT_OUTPUT_TUPLE_ORDER
Config.TUFFY_INFERENCE_TASK
- Enum in
tuffy.util
Config.TUFFY_INFERENCE_TASK()
- Constructor for enum tuffy.util.
Config.TUFFY_INFERENCE_TASK
ConfigLexer
- Class in
tuffy.parse
ConfigLexer()
- Constructor for class tuffy.parse.
ConfigLexer
ConfigLexer(CharStream)
- Constructor for class tuffy.parse.
ConfigLexer
ConfigLexer(CharStream, RecognizerSharedState)
- Constructor for class tuffy.parse.
ConfigLexer
ConfigParser
- Class in
tuffy.parse
ConfigParser(TokenStream)
- Constructor for class tuffy.parse.
ConfigParser
ConfigParser(TokenStream, RecognizerSharedState)
- Constructor for class tuffy.parse.
ConfigParser
ConfigParser.config_return
- Class in
tuffy.parse
ConfigParser.config_return()
- Constructor for class tuffy.parse.
ConfigParser.config_return
ConfigParser.state_return
- Class in
tuffy.parse
ConfigParser.state_return()
- Constructor for class tuffy.parse.
ConfigParser.state_return
ConfigTest
- Class in
tuffy.test
Testing class for loading configuration file.
ConfigTest()
- Constructor for class tuffy.test.
ConfigTest
ConjunctiveQuery
- Class in
tuffy.ra
A conjunctive query.
ConjunctiveQuery()
- Constructor for class tuffy.ra.
ConjunctiveQuery
ConjunctiveQuery.CLUSTERING_RULE_TYPE
- Enum in
tuffy.ra
Type used by CC.
ConjunctiveQuery.CLUSTERING_RULE_TYPE()
- Constructor for enum tuffy.ra.
ConjunctiveQuery.CLUSTERING_RULE_TYPE
ConjunctiveQuery.StringSet
- Class in
tuffy.ra
ConjunctiveQuery.StringSet()
- Constructor for class tuffy.ra.
ConjunctiveQuery.StringSet
conList
- Variable in class tuffy.mln.
Clause.ClauseInstance
list of constant ID in this clause instance.
console_line_header
- Static variable in class tuffy.util.
Config
consoleLineHeader
- Variable in class tuffy.parse.
CommandOptions
consolidateClauses(String, String)
- Method in class tuffy.ground.
Grounding
constant
- Variable in class tuffy.mln.
Literal.VarClique
The constant of this clique.
constant()
- Method in class tuffy.mln.
Term
constantID
- Variable in class tuffy.mln.
Term
The ID of this term.
ConstantNumber
- Static variable in class tuffy.ra.
Function
ConstantString
- Static variable in class tuffy.ra.
Function
constraints
- Variable in class tuffy.mln.
Clause
The set of boolean expressions that must all be TRUE; otherwise the corresponding grounding is always true, and is useless for inference -- and will be discarded.
constraints
- Variable in class tuffy.ra.
ConjunctiveQuery
constructMRF()
- Method in class tuffy.ground.
Grounding
Construct the MRF.
contains(Tuple)
- Method in class tuffy.ground.
KBMC.AtomCutSet
Return true if the input tuple is in the corresponding stratum.
contains(int)
- Method in class tuffy.mln.
Type
Return true if this type contains the constant x
contains(T)
- Method in class tuffy.util.
BoundHashList
contains(T)
- Method in class tuffy.util.
HashArray
copyStatesToPredicateTables(String, boolean)
- Method in class tuffy.infer.
DataMover
Update predicate tables with the current states in the atom table.
copyTable(String, String)
- Method in class tuffy.db.
RDB
Copy the tuples of a table to another.
coreAtoms
- Variable in class tuffy.infer.
MRF
Cos
- Static variable in class tuffy.ra.
Function
cost()
- Method in class tuffy.infer.ds.
GClause
Return the cost for violating this GClause.
cost
- Variable in class tuffy.infer.
InferBucket
cost
- Variable in class tuffy.mln.
Clause
The cost ascribed to this clause.
cost
- Variable in class tuffy.util.
PlotMan.TCPair
costs
- Variable in class tuffy.util.
Timer.RunStat
countTuples(String)
- Method in class tuffy.db.
RDB
Count the tuples in a table.
coversAllMaterializedTuples
- Variable in class tuffy.mln.
Literal
coversAllMaterializedTuples()
- Method in class tuffy.mln.
Literal
Test whether we want this literal to cover all materialized tuples regardless of the sense of this literal.
cq
- Variable in class tuffy.parse.
MLNParser.datalogRule_return
cq
- Variable in class tuffy.parse.
MLNParser.scopingRule_return
createActTables()
- Method in class tuffy.ground.
Grounding
createAtomTable(String)
- Method in class tuffy.ground.
Grounding
createClauseTable(String)
- Method in class tuffy.ground.
Grounding
createConstantTable(HashMap<String, Integer>)
- Method in class tuffy.db.
RDB
Store the symbol-ID mapping into a symbol table.
createDribbleFile(String)
- Static method in class tuffy.util.
UIMan
createEmptyDirectory(File)
- Static method in class tuffy.util.
FileMan
Creates an empty directory at the given path.
createSetTable(String, HashSet<Integer>)
- Method in class tuffy.db.
RDB
Create a table to store a set of integers
createTable()
- Method in class tuffy.mln.
Predicate
Create table for storing groundings of this predicate.
createTempTableIntList(String, Collection<Integer>)
- Method in class tuffy.db.
RDB
critical()
- Method in class tuffy.infer.ds.
GAtom
Whether wannabe == 3.
criticalForHardClauses()
- Method in class tuffy.infer.ds.
GAtom
Whether changing the truth value of this GAtom will violate several hard clauses.
curPred
- Variable in class tuffy.parse.
MLNParser
currentD
- Variable in class tuffy.learn.
DNLearner
Map from clause ID to current H^(-1)g value.
currentDBCounter
- Static variable in class tuffy.db.
RDB
currentGradient
- Variable in class tuffy.learn.
DNLearner
Map from clause ID to current gradient value.
currentlyRunningQuery
- Variable in class tuffy.db.
RDB
currentWeight
- Static variable in class tuffy.learn.
Learner
Map from clause name to current clause weight.
cut
- Variable in class tuffy.infer.ds.
GAtom
Whether this atom is referred to by multiple partitions
cutset
- Variable in class tuffy.ground.partition.
Component
cwaPreds
- Variable in class tuffy.parse.
CommandOptions
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
_