|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object tuffy.util.Config
public class Config
Container for global configuration parameters.
Nested Class Summary | |
---|---|
static class |
Config.MCSAT_OUTPUT_TUPLE_ORDER
|
static class |
Config.TUFFY_INFERENCE_TASK
|
Field Summary | |
---|---|
static boolean |
apply_greedy_throttling
|
static boolean |
avoid_breaking_hard_clauses
|
static boolean |
build_predicate_table_indexes
|
static boolean |
checkNumCriticalNodes
Research |
static boolean |
clause_display_multiline
|
static java.lang.String |
console_line_header
|
static java.lang.String |
db_password
|
static java.lang.String |
db_schema
|
static java.lang.String |
db_url
|
static java.lang.String |
db_username
|
static boolean |
dbNeedTranslate
|
static java.lang.String |
dir_out
|
static java.lang.String |
dir_tests
|
static java.lang.String |
dir_working
File System |
static boolean |
disable_partition
System |
static java.lang.String |
evidDBSchema
|
static int |
evidence_file_chunk_size
|
static boolean |
exiting_mode
Runtime |
static java.lang.String |
file_stats
|
static boolean |
focus_on_critical_atoms
|
static int |
gauss_seidel_infer_rounds
|
static double |
hard_threshold
|
static double |
hard_weight
|
static boolean |
keep_db_data
|
static boolean |
learning_mode
|
static double |
marginal_output_min_prob
|
static boolean |
mark_all_atoms_active
|
static int |
max_threads
|
static boolean |
mcsat_output_hidden_atoms
|
static Config.MCSAT_OUTPUT_TUPLE_ORDER |
mcsat_output_order
|
static double |
mcsat_sample_para
|
static int |
mcsatDumpPeriodSamples
Helper |
static int |
mcsatDumpPeriodSeconds
|
static int |
num_tries_per_periodic_flush
|
static boolean |
output_files_in_gzip
|
static boolean |
output_prior_with_marginals
|
static boolean |
output_prolog_format
|
static double |
partition_size_bound
|
static java.lang.String |
path_conf
|
static java.lang.String |
product_line
|
static java.lang.String |
product_name
|
static double |
ram_size
|
static java.lang.String |
relConstants
DB |
static boolean |
reorder_literals
|
static double |
samplesat_sa_coef
|
static double |
soft_evidence_activation_threshold
|
static boolean |
stop_samplesat_upon_sat
|
static double |
sweepsat_greedy_probability
|
static boolean |
throw_exception_when_dying
|
static double |
timeout
|
static boolean |
track_clause_provenance
|
static boolean |
use_atom_blocking
Inference |
static int |
verbose_level
UI |
static double |
walksat_random_step_probability
|
Constructor Summary | |
---|---|
Config()
|
Method Summary | |
---|---|
static java.lang.String |
getLoadingDir()
|
static int |
getNumThreads()
|
static java.lang.String |
getWorkingDir()
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public static java.lang.String product_line
public static java.lang.String product_name
public static java.lang.String path_conf
public static boolean exiting_mode
public static boolean learning_mode
public static java.lang.String relConstants
public static java.lang.String db_url
public static java.lang.String db_username
public static java.lang.String db_password
public static java.lang.String db_schema
public static java.lang.String dir_working
public static java.lang.String dir_out
public static boolean output_files_in_gzip
public static java.lang.String dir_tests
public static java.lang.String file_stats
public static boolean disable_partition
public static int max_threads
public static boolean build_predicate_table_indexes
public static int evidence_file_chunk_size
public static double partition_size_bound
public static double ram_size
public static java.lang.String evidDBSchema
public static boolean dbNeedTranslate
public static boolean use_atom_blocking
public static boolean mark_all_atoms_active
public static boolean stop_samplesat_upon_sat
public static double soft_evidence_activation_threshold
public static double samplesat_sa_coef
public static double mcsat_sample_para
public static double hard_weight
public static double hard_threshold
public static double walksat_random_step_probability
public static double sweepsat_greedy_probability
public static boolean avoid_breaking_hard_clauses
public static boolean apply_greedy_throttling
public static int gauss_seidel_infer_rounds
public static int verbose_level
public static java.lang.String console_line_header
public static boolean clause_display_multiline
public static Config.MCSAT_OUTPUT_TUPLE_ORDER mcsat_output_order
public static double marginal_output_min_prob
public static boolean mcsat_output_hidden_atoms
public static int mcsatDumpPeriodSamples
public static int mcsatDumpPeriodSeconds
public static boolean output_prolog_format
public static boolean output_prior_with_marginals
public static boolean throw_exception_when_dying
public static boolean keep_db_data
public static boolean track_clause_provenance
public static boolean reorder_literals
public static double timeout
public static int num_tries_per_periodic_flush
public static boolean checkNumCriticalNodes
public static boolean focus_on_critical_atoms
Constructor Detail |
---|
public Config()
Method Detail |
---|
public static int getNumThreads()
public static java.lang.String getLoadingDir()
public static java.lang.String getWorkingDir()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |