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

A

Abs - Static variable in class tuffy.ra.Function
 
absorb(Clause) - Method in class tuffy.mln.Clause
"Absorb" another clause of the same pattern into this clause.
absorb(UnionFind<E>.Record<E>) - Method in class tuffy.util.UnionFind.Record
 
activateAllAtoms - Variable in class tuffy.parse.CommandOptions
 
activateQueryAtoms() - Method in class tuffy.ground.Grounding
Activate all the query atoms that are true in the training data.
activateSoftEvidence() - Method in class tuffy.ground.Grounding
Activate "soft evidence" atoms.
activateUnknownAtoms() - Method in class tuffy.ground.Grounding
 
adaptor - Variable in class tuffy.parse.ConfigParser
 
adaptor - Variable in class tuffy.parse.MLNParser
 
add(Tuple) - Method in class tuffy.ground.KBMC.AtomCutSet.Stratum
Add a tuple to this stratum.
Add - Static variable in class tuffy.ra.Function
 
add(T) - Method in class tuffy.util.BoundHashList
 
add(T) - Method in class tuffy.util.HashArray
 
addArgument(Expression) - Method in class tuffy.ra.Expression
Append an argument to the underlying function
addArgument(Type) - Method in class tuffy.ra.Function
 
addAtom(GAtom) - Method in class tuffy.ground.partition.Component
Add a new atom into this component.
addAtom(int) - Method in class tuffy.infer.MRF
Add an atom into this MRF.
addBodyLit(Literal) - Method in class tuffy.ra.ConjunctiveQuery
Add a body literal.
addComponent(Component) - Method in class tuffy.ground.partition.Bucket
Add a component to this bucket.
addConstant(int) - Method in class tuffy.mln.Type
Add a constant to this type.
addConstraint(Expression) - Method in class tuffy.mln.Clause
Add a constraint that must hold.
addConstraint(Expression) - Method in class tuffy.ra.ConjunctiveQuery
Add a constraint that must hold.
addConstraintAll(Collection<Expression>) - Method in class tuffy.ra.ConjunctiveQuery
 
addCost(double) - Method in class tuffy.infer.InferBucket
Add up the cost.
addDependentAttrPosition(int) - Method in class tuffy.mln.Predicate
Set the attribute at position i to be dependent.
addEvidence(Atom) - Method in class tuffy.mln.Predicate
Store an evidence in the "buffer".
addEvidenceTuple(Atom) - Method in class tuffy.mln.Predicate
Add evidence tuple related to this predicate.
addExistentialVariable(String) - Method in class tuffy.mln.Clause
Existentially quantify a variable.
addFunctionalDependency(List<String>, String) - Method in class tuffy.mln.Predicate
Add a functional dependency for the attributes of this predicate
additionalWhereClause - Variable in class tuffy.ra.ConjunctiveQuery
 
addKeyConstraintClauses(String, String) - Method in class tuffy.ground.Grounding
 
addLiteral(Literal) - Method in class tuffy.mln.Clause
Add a literal to this clause.
addMetaVariable(String, Type) - Method in class tuffy.mln.Clause
Add a meta variable into this clause.
addOne() - Method in class tuffy.infer.MRF.myInt
 
addPart(Partition) - Method in class tuffy.ground.partition.Bucket
Add a partition to this bucket.
addQuery(Atom) - Method in class tuffy.mln.Predicate
Register a query atom.
addRelatedClause(Clause) - Method in class tuffy.mln.Predicate
Register a clause referencing this predicate
addSingleton(E, Double) - Method in class tuffy.util.UnionFind
 
addSoftEvidClauses(String, String) - Method in class tuffy.ground.Grounding
 
addSpecText(String) - Method in class tuffy.mln.Clause
 
addTuple(Tuple) - Method in class tuffy.ground.KBMC.AtomCutSet
Add a tuple to corresponding stratum.
addTurn(double) - Method in class tuffy.util.Timer.RunStat
 
addUserProvidedName(String) - Method in class tuffy.mln.Clause
Add user provided names to this clause.
addVar(String) - Method in class tuffy.mln.Literal.VarClique
Add variable to this clique.
adj - Variable in class tuffy.infer.MRF
Index from GAtom ID to GClause.
adjustAtomClauseRelation(ArrayList<GClause>, ArrayList<GClause>, int) - Method in class tuffy.infer.MRF
 
allFreeBinding - Variable in class tuffy.ra.ConjunctiveQuery
 
allowedClauses - Variable in class tuffy.ground.KBMC
 
allRDBs - Static variable in class tuffy.db.RDB
 
allVariable - Variable in class tuffy.ra.ConjunctiveQuery
 
alpha - Variable in class tuffy.learn.DNLearner
Step size.
alpha - Variable in class tuffy.learn.NaiveDNLearner
Deprecated.  
analyze(String) - Method in class tuffy.db.RDB
Analyze a specific table.
and(Expression, Expression) - Static method in class tuffy.ra.Expression
Boolean AND
AND - Static variable in class tuffy.ra.Function
 
andSelCond(String, String) - Static method in class tuffy.db.SQLMan
 
andSelCond(ArrayList<String>) - Static method in class tuffy.db.SQLMan
 
appendArgument(Type) - Method in class tuffy.mln.Predicate
Append a new argument without a user-provided name.
appendArgument(Type, String) - Method in class tuffy.mln.Predicate
Append a new argument with a user provided name.
appendTerm(Term) - Method in class tuffy.mln.Literal
Append a new term to this literal.
appendTerm(Expression) - Method in class tuffy.ra.AtomEx
Appends a new term.
apply_greedy_throttling - Static variable in class tuffy.util.Config
 
applyAllScopes() - Method in class tuffy.mln.MarkovLogicNetwork
Execute all scoping rules
applyScopeForPred(Predicate) - Method in class tuffy.mln.MarkovLogicNetwork
Execute the scoping rules for a predicate
arg - Variable in class tuffy.ra.ConjunctiveQuery.StringSet
 
arg2as - Variable in class tuffy.ra.ConjunctiveQuery.StringSet
 
argNameList - Variable in class tuffy.mln.Predicate
 
argNameMap - Variable in class tuffy.mln.Predicate
 
args - Variable in class tuffy.mln.Atom
The argument list represented as a tuple of integers: constant as positive number and variable as negative number.
args - Variable in class tuffy.mln.Predicate
The list of arguments of this predicate.
args - Variable in class tuffy.ra.AtomEx
 
args_ - Variable in class tuffy.ra.Expression
 
argTypes_ - Variable in class tuffy.ra.Function
List of argument types and return type of this function.
arity - Variable in class tuffy.ground.KBMC.AtomCutSet
Arity of KBMC.AtomCutSet.pred.
arity() - Method in class tuffy.mln.Predicate
Return the arity of this predicate.
arity() - Method in class tuffy.ra.Function
 
as - Variable in class tuffy.ra.ConjunctiveQuery.StringSet
 
assignAllFalseTruthValues() - Method in class tuffy.infer.MRF
Set all atoms to false.
assignGreedyTruthValues() - Method in class tuffy.infer.MRF
Assign inital truth values according to some ad hoc and heuristic stats.
assignRandomTruth(String) - Method in class tuffy.infer.DataMover
Assign random truth values to the atoms.
assignRandomTruthValues() - Method in class tuffy.infer.MRF
Set random atom truth values.
assignSatPotential(GClause) - Method in class tuffy.infer.ds.GAtom
Flipping this node will make f unsat->sat.
assignUnsatPotential(GClause) - Method in class tuffy.infer.ds.GAtom
Flipping this node will make f sat->unsat.
ASTERISK - Static variable in class tuffy.parse.MLNLexer
 
ASTERISK - Static variable in class tuffy.parse.MLNParser
 
Atom - Class in tuffy.mln
An atomic formula.
Atom(Predicate, ArrayList<Integer>, boolean) - Constructor for class tuffy.mln.Atom
Create an evidence atom.
Atom(Predicate, ArrayList<Integer>, double) - Constructor for class tuffy.mln.Atom
Create a soft evidence atom.
Atom(ArrayList<String>, double) - Constructor for class tuffy.mln.Atom
 
Atom(ArrayList<String>, boolean) - Constructor for class tuffy.mln.Atom
 
Atom(Predicate, Tuple) - Constructor for class tuffy.mln.Atom
Create an atom of type NONE.
atom() - Method in class tuffy.parse.MLNParser
 
atom - Variable in class tuffy.test.GAtomTest
 
Atom.AtomType - Enum in tuffy.mln
Enumerated type of Atoms.
Atom.AtomType() - Constructor for enum tuffy.mln.Atom.AtomType
 
AtomEx - Class in tuffy.ra
STILL IN DEVELOPMENT.
AtomEx(Predicate) - Constructor for class tuffy.ra.AtomEx
 
atomicExpression() - Method in class tuffy.parse.MLNParser
 
atoms - Variable in class tuffy.ground.partition.Component
 
atoms - Variable in class tuffy.infer.MRF
Map from GAtom ID to GAtom object.
AtomTest - Class in tuffy.test
Testing class for Atom object.
AtomTest() - Constructor for class tuffy.test.AtomTest
 
atomToString(Predicate, ResultSet, HashMap<Integer, String>) - Method in class tuffy.infer.DataMover
 
auditClauseViolations() - Method in class tuffy.infer.MRF
Track ground clause violations to fo-clauses.
avoid_breaking_hard_clauses - Static variable in class tuffy.util.Config
 
avoidBreakingHardClauses - 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 _