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
_
H
handle(Exception)
- Static method in class tuffy.util.
ExceptionMan
hard_threshold
- Static variable in class tuffy.util.
Config
hard_weight
- Static variable in class tuffy.util.
Config
hardRule()
- Method in class tuffy.parse.
MLNParser
hasDependentAttributes()
- Method in class tuffy.mln.
Predicate
hasEmbeddedWeight()
- Method in class tuffy.mln.
Clause
Check if the weight of this clause comes from a variable in the clause
hasExistentialQuantifiers()
- Method in class tuffy.mln.
Clause
Check if any variable in this clause is existentially quantified.
HashArray
<
T
> - Class in
tuffy.util
HashArray()
- Constructor for class tuffy.util.
HashArray
hasKey(GAtom)
- Method in class tuffy.infer.ds.
KeyBlock
hasKey(String)
- Method in class tuffy.util.
Settings
hasMoreToGround()
- Method in class tuffy.mln.
Predicate
Determine whether this predicate can ground more atoms.
hasQuery()
- Method in class tuffy.mln.
Predicate
Checks if there are any queries associated with this predicate.
hasSoftEvidence
- Variable in class tuffy.mln.
Predicate
hasSoftEvidence()
- Method in class tuffy.mln.
Predicate
head
- Variable in class tuffy.ra.
ConjunctiveQuery
headas
- Variable in class tuffy.ra.
ConjunctiveQuery.StringSet
headPred
- Variable in class tuffy.ra.
ConjunctiveQuery.StringSet
heap
- Variable in class tuffy.ground.
KBMC.AtomCutSet
Set of all tuples in each stratum.
HEXDIGIT
- Static variable in class tuffy.parse.
MLNLexer
HEXDIGIT
- Static variable in class tuffy.parse.
MLNParser
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
_