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 |
allRunTotalFlips
public static boolean allRunTotalFlips
apply_greedy_throttling
public static boolean apply_greedy_throttling
atomIdThreshold
public static int atomIdThreshold
avoid_breaking_hard_clauses
public static boolean avoid_breaking_hard_clauses
calcCostOffset
public static boolean calcCostOffset
checkNumCriticalNodes
public static boolean checkNumCriticalNodes
checkStar
public static boolean checkStar
chunkSize
public static int chunkSize
clause_assign_strategy
public static Config.CLAUSE_ASSIGNMENT_STRATEGY clause_assign_strategy
clause_display_multiline
public static boolean clause_display_multiline
collect_run_stats
public static boolean collect_run_stats
component_wise_infer
public static boolean component_wise_infer
db_password
public static java.lang.String db_password
db_schema
public static java.lang.String db_schema
db_url
public static java.lang.String db_url
db_username
public static java.lang.String db_username
dir_out
public static java.lang.String dir_out
dir_tests
public static java.lang.String dir_tests
enable_mem_check
public static boolean enable_mem_check
fastSample
public static boolean fastSample
file_stats
public static java.lang.String file_stats
focus_on_critical_atoms
public static boolean focus_on_critical_atoms
ground_active_closure
public static boolean ground_active_closure
hard_threshold
public static double hard_threshold
hard_weight
public static double hard_weight
infer_strategy
public static Config.PART_INFER_STRATEGY infer_strategy
init_strategy
public static Config.INIT_STRATEGY init_strategy
keep_db_data
public static boolean keep_db_data
learning_mode
public static boolean learning_mode
linear_strategy
public static Config.LINEAR_INFER_ORDER linear_strategy
loadingOneByOne
public static boolean loadingOneByOne
mark_all_atoms_active
public static boolean mark_all_atoms_active
mcsat_output_hidden_atoms
public static boolean mcsat_output_hidden_atoms
mcsat_output_order
public static Config.MCSAT_OUTPUT_TUPLE_ORDER mcsat_output_order
mcsat_sample_para
public static double mcsat_sample_para
multiThreading
public static boolean multiThreading
need_incidence_table
public static boolean need_incidence_table
newGroundingMethod
public static boolean newGroundingMethod
num_tries_per_periodic_flush
public static int num_tries_per_periodic_flush
numCores
public static int numCores
part_infer_rounds
public static int part_infer_rounds
partition_size_bound
public static double partition_size_bound
partition_wise_infer
public static boolean partition_wise_infer
path_conf
public static java.lang.String path_conf
prod_name
public static final java.lang.String prod_name
- See Also:
- Constant Field Values
ram_size
public static double ram_size
relAtoms
public static java.lang.String relAtoms
relClausePart
public static java.lang.String relClausePart
relClauses
public static java.lang.String relClauses
relConstants
public static java.lang.String relConstants
relIncidence
public static java.lang.String relIncidence
relTrueAtoms
public static java.lang.String relTrueAtoms
relWorkingPids
public static java.lang.String relWorkingPids
reorder_literals
public static boolean reorder_literals
report_runtime_stat
public static boolean report_runtime_stat
report_trace
public static boolean report_trace
shuffle_clause_table
public static boolean shuffle_clause_table
soft_evidence_activation_threshold
public static double soft_evidence_activation_threshold
sweepSATGreedyProbability
public static double sweepSATGreedyProbability
timeout
public static double timeout
track_clause_source
public static boolean track_clause_source
use_partition
public static boolean use_partition
use_psql_infer
public static boolean use_psql_infer
verboseLevel
public static int verboseLevel
walkSAT_random_step_probability
public static double walkSAT_random_step_probability
Config
public Config()
getBDBStoreDir
public static java.lang.String getBDBStoreDir()
getLoadingDir
public static java.lang.String getLoadingDir()
getWorkingDir
public static java.lang.String getWorkingDir()