util
Class Config
java.lang.Object
util.Config
public class Config
- extends java.lang.Object
Container for global configuration parameters.
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
prod_name
public static final java.lang.String prod_name
- See Also:
- Constant Field Values
blocking
public static boolean blocking
nCores
public static int nCores
currentIndent
public static int currentIndent
display_marker
public static java.lang.String display_marker
exiting_mode
public static boolean exiting_mode
build_predicate_table_indexes
public static boolean build_predicate_table_indexes
mcsatDumpPeriodSamples
public static int mcsatDumpPeriodSamples
mcsatDumpPeriodSeconds
public static int mcsatDumpPeriodSeconds
pickRandom
public static boolean pickRandom
allRuleAsMLN
public static boolean allRuleAsMLN
evidDBSchema
public static java.lang.String evidDBSchema
dbNeedTranslate
public static boolean dbNeedTranslate
explainMode
public static boolean explainMode
output_prolog_format
public static boolean output_prolog_format
loadingOneByOne
public static boolean loadingOneByOne
multiThreading
public static boolean multiThreading
allRunTotalFlips
public static boolean allRunTotalFlips
numCores
public static int numCores
checkStar
public static boolean checkStar
chunkSize
public static int chunkSize
output_prior_with_marginals
public static boolean output_prior_with_marginals
throw_exception_when_dying
public static boolean throw_exception_when_dying
output_files_in_gzip
public static boolean output_files_in_gzip
backUpBeforeReassignID
public static boolean backUpBeforeReassignID
keep_db_data
public static boolean keep_db_data
mark_all_atoms_active
public static boolean mark_all_atoms_active
checkNumCriticalNodes
public static boolean checkNumCriticalNodes
focus_on_critical_atoms
public static boolean focus_on_critical_atoms
partition_size_bound
public static double partition_size_bound
ram_size
public static double ram_size
relConstants
public static java.lang.String relConstants
relClauses
public static java.lang.String relClauses
relAtoms
public static java.lang.String relAtoms
relIncidence
public static java.lang.String relIncidence
relTrueAtoms
public static java.lang.String relTrueAtoms
relClausePart
public static java.lang.String relClausePart
reorder_literals
public static boolean reorder_literals
use_partition
public static boolean use_partition
need_incidence_table
public static boolean need_incidence_table
track_clause_source
public static boolean track_clause_source
timeout
public static double timeout
num_tries_per_periodic_flush
public static int num_tries_per_periodic_flush
collect_run_stats
public static boolean collect_run_stats
calcCostOffset
public static boolean calcCostOffset
ground_active_closure
public static boolean ground_active_closure
shuffle_clause_table
public static boolean shuffle_clause_table
clause_display_multiline
public static boolean clause_display_multiline
fastSample
public static boolean fastSample
verboseLevel
public static int verboseLevel
atomIdThreshold
public static int atomIdThreshold
dir_tests
public static java.lang.String dir_tests
file_stats
public static java.lang.String file_stats
path_conf
public static java.lang.String path_conf
db_url
public static java.lang.String db_url
db_username
public static java.lang.String db_username
db_password
public static java.lang.String db_password
db_schema
public static java.lang.String db_schema
dir_working
public static java.lang.String dir_working
dir_out
public static java.lang.String dir_out
soft_evidence_activation_threshold
public static double soft_evidence_activation_threshold
mcsat_sample_para
public static double mcsat_sample_para
hard_weight
public static double hard_weight
hard_threshold
public static double hard_threshold
walkSAT_random_step_probability
public static double walkSAT_random_step_probability
sweepSATGreedyProbability
public static double sweepSATGreedyProbability
avoid_breaking_hard_clauses
public static boolean avoid_breaking_hard_clauses
apply_greedy_throttling
public static boolean apply_greedy_throttling
init_strategy
public static Config.INIT_STRATEGY init_strategy
infer_strategy
public static Config.PART_INFER_STRATEGY infer_strategy
linear_strategy
public static Config.LINEAR_INFER_ORDER linear_strategy
clause_assign_strategy
public static Config.CLAUSE_ASSIGNMENT_STRATEGY clause_assign_strategy
mcsat_output_order
public static Config.MCSAT_OUTPUT_TUPLE_ORDER mcsat_output_order
marginal_output_min_prob
public static double marginal_output_min_prob
mcsat_output_hidden_atoms
public static boolean mcsat_output_hidden_atoms
part_infer_rounds
public static int part_infer_rounds
component_wise_infer
public static boolean component_wise_infer
partition_wise_infer
public static boolean partition_wise_infer
enable_mem_check
public static boolean enable_mem_check
report_runtime_stat
public static boolean report_runtime_stat
report_trace
public static boolean report_trace
beginTime
public static long beginTime
use_psql_infer
public static boolean use_psql_infer
learning_mode
public static boolean learning_mode
Config
public Config()
getLoadingDir
public static java.lang.String getLoadingDir()
getWorkingDir
public static java.lang.String getWorkingDir()