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