Overview
Package
Class
Use
Tree
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.
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()
- Method in class tuffy.mln.
Term
VariableBinding
- Static variable in class tuffy.ra.
Function
vars
- Variable in class tuffy.parse.
MLNParser.existQuan_return
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
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
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
_