util
Class Config

java.lang.Object
  extended by util.Config

public class Config
extends java.lang.Object

Container for global configuration parameters.


Nested Class Summary
static class Config.CLAUSE_ASSIGNMENT_STRATEGY
           
static class Config.INIT_STRATEGY
           
static class Config.LINEAR_INFER_ORDER
           
static class Config.MCSAT_OUTPUT_TUPLE_ORDER
           
static class Config.PART_INFER_STRATEGY
           
static class Config.test
          WILL BE REMOVED LATTER.
 
Field Summary
static boolean allRunTotalFlips
           
static boolean apply_greedy_throttling
           
static int atomIdThreshold
           
static boolean avoid_breaking_hard_clauses
           
static boolean calcCostOffset
           
static boolean checkNumCriticalNodes
           
static boolean checkStar
           
static int chunkSize
           
static Config.CLAUSE_ASSIGNMENT_STRATEGY clause_assign_strategy
           
static boolean clause_display_multiline
           
static boolean collect_run_stats
           
static boolean component_wise_infer
           
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 java.lang.String dir_out
           
static java.lang.String dir_tests
           
static boolean enable_mem_check
           
static boolean fastSample
           
static java.lang.String file_stats
           
static boolean focus_on_critical_atoms
           
static boolean ground_active_closure
           
static double hard_threshold
           
static double hard_weight
           
static Config.PART_INFER_STRATEGY infer_strategy
           
static Config.INIT_STRATEGY init_strategy
           
static boolean keep_db_data
           
static boolean learning_mode
           
static Config.LINEAR_INFER_ORDER linear_strategy
           
static boolean loadingOneByOne
           
static boolean mark_all_atoms_active
           
static boolean mcsat_output_hidden_atoms
           
static Config.MCSAT_OUTPUT_TUPLE_ORDER mcsat_output_order
           
static double mcsat_sample_para
           
static boolean multiThreading
           
static boolean need_incidence_table
           
static boolean newGroundingMethod
           
static int num_tries_per_periodic_flush
           
static int numCores
           
static int part_infer_rounds
           
static double partition_size_bound
           
static boolean partition_wise_infer
           
static java.lang.String path_conf
           
static java.lang.String prod_name
           
static double ram_size
           
static java.lang.String relAtoms
           
static java.lang.String relClausePart
           
static java.lang.String relClauses
           
static java.lang.String relConstants
           
static java.lang.String relIncidence
           
static java.lang.String relTrueAtoms
           
static java.lang.String relWorkingPids
           
static boolean reorder_literals
           
static boolean report_runtime_stat
           
static boolean report_trace
           
static boolean shuffle_clause_table
           
static double soft_evidence_activation_threshold
           
static double sweepSATGreedyProbability
           
static double timeout
           
static boolean track_clause_source
           
static boolean use_partition
           
static boolean use_psql_infer
           
static int verboseLevel
           
static double walkSAT_random_step_probability
           
 
Constructor Summary
Config()
           
 
Method Summary
static java.lang.String getBDBStoreDir()
           
static java.lang.String getLoadingDir()
           
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

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
Constructor Detail

Config

public Config()
Method Detail

getBDBStoreDir

public static java.lang.String getBDBStoreDir()

getLoadingDir

public static java.lang.String getLoadingDir()

getWorkingDir

public static java.lang.String getWorkingDir()