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 allRuleAsMLN
           
static boolean allRunTotalFlips
           
static boolean apply_greedy_throttling
           
static int atomIdThreshold
           
static boolean avoid_breaking_hard_clauses
           
static boolean backUpBeforeReassignID
           
static long beginTime
           
static boolean blocking
           
static boolean build_predicate_table_indexes
           
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 int currentIndent
           
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
           
static java.lang.String display_marker
           
static boolean enable_mem_check
           
static java.lang.String evidDBSchema
           
static boolean exiting_mode
           
static boolean explainMode
           
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 double marginal_output_min_prob
           
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 int mcsatDumpPeriodSamples
           
static int mcsatDumpPeriodSeconds
           
static boolean multiThreading
           
static int nCores
           
static boolean need_incidence_table
           
static int num_tries_per_periodic_flush
           
static int numCores
           
static boolean output_files_in_gzip
           
static boolean output_prior_with_marginals
           
static boolean output_prolog_format
           
static int part_infer_rounds
           
static double partition_size_bound
           
static boolean partition_wise_infer
           
static java.lang.String path_conf
           
static boolean pickRandom
           
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 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 boolean throw_exception_when_dying
           
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 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

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

Config

public Config()
Method Detail

getLoadingDir

public static java.lang.String getLoadingDir()

getWorkingDir

public static java.lang.String getWorkingDir()