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.
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.
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_display_multiline - Static variable in class tuffy.util.Config
 
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.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
 
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.
clusterSize(E) - Method in class tuffy.util.UnionFind
 
clusterWeight(E) - Method in class tuffy.util.UnionFind
 
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.MAPInferAlgo - Enum in tuffy.parse
 
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.
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
 
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.
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.TUFFY_INFERENCE_TASK - Enum in tuffy.util
 
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.StringSet - Class in tuffy.ra
 
ConjunctiveQuery.StringSet() - Constructor for class tuffy.ra.ConjunctiveQuery.StringSet
 
console_line_header - Static variable in class tuffy.util.Config
 
consoleLineHeader - Variable in class tuffy.parse.CommandOptions
 
constant() - Method in class tuffy.mln.Term
 
ConstantNumber - Static variable in class tuffy.ra.Function
 
ConstantString - Static variable in class tuffy.ra.Function
 
constructMRF() - Method in class tuffy.ground.Grounding
Construct the MRF.
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.
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.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() - 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
 
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
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.
currentD - Variable in class tuffy.learn.DNLearner
Map from clause ID to current H^(-1)g value.
currentGradient - Variable in class tuffy.learn.DNLearner
Map from clause ID to current gradient value.
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 _