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
_
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
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
_