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
 

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