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
 

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