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

V

vacuum(String) - Method in class tuffy.db.RDB
Vacuum a specific table.
val - Variable in class tuffy.ra.Expression
 
valBinding - Variable in class tuffy.ra.Expression
 
value - Variable in class tuffy.infer.MRF.myInt
 
valueOf(String) - Static method in enum tuffy.infer.MRF.INIT_STRATEGY
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum tuffy.mln.Atom.AtomType
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum tuffy.parse.CommandOptions.InferDataStore
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum tuffy.parse.CommandOptions.MAPInferAlgo
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum tuffy.ra.ConjunctiveQuery.CLUSTERING_RULE_TYPE
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum tuffy.util.Config.MCSAT_OUTPUT_TUPLE_ORDER
Returns the enum constant of this type with the specified name.
valueOf(String) - Static method in enum tuffy.util.Config.TUFFY_INFERENCE_TASK
Returns the enum constant of this type with the specified name.
values() - Static method in enum tuffy.infer.MRF.INIT_STRATEGY
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum tuffy.mln.Atom.AtomType
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum tuffy.parse.CommandOptions.InferDataStore
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum tuffy.parse.CommandOptions.MAPInferAlgo
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum tuffy.ra.ConjunctiveQuery.CLUSTERING_RULE_TYPE
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum tuffy.util.Config.MCSAT_OUTPUT_TUPLE_ORDER
Returns an array containing the constants of this enum type, in the order they are declared.
values() - Static method in enum tuffy.util.Config.TUFFY_INFERENCE_TASK
Returns an array containing the constants of this enum type, in the order they are declared.
var - Variable in class tuffy.mln.Term
The name of this term.
var() - Method in class tuffy.mln.Term
 
VariableBinding - Static variable in class tuffy.ra.Function
 
vars - Variable in class tuffy.mln.Literal.VarClique
The set of variable names in this clique.
vars - Variable in class tuffy.mln.Literal
The name set of all variables in this literal.
vars - Variable in class tuffy.parse.MLNParser.existQuan_return
 
vars - Variable in class tuffy.ra.AtomEx
 
varWeight - Variable in class tuffy.mln.Clause
FO variable that is used as clause weights
verbose(int, String) - Static method in class tuffy.util.UIMan
 
verbose_level - Static variable in class tuffy.util.Config
UI
verboseInline(int, String) - Static method in class tuffy.util.UIMan
 
verboseLevel - Variable in class tuffy.parse.CommandOptions
 
violate - Variable in class tuffy.infer.ds.GAtom
Two cost of changing the truth value of this GAtom.
violatedGClauses - Variable in class tuffy.mln.Clause
Violated ground clauses.
violations - Variable in class tuffy.mln.Clause
The number of violations on this clause.

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