tuffy.util
Class Config

java.lang.Object
  extended by tuffy.util.Config

public class Config
extends java.lang.Object

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

product_line

public static java.lang.String product_line

product_name

public static java.lang.String product_name

path_conf

public static java.lang.String path_conf

exiting_mode

public static boolean exiting_mode
Runtime


learning_mode

public static boolean learning_mode

relConstants

public static java.lang.String relConstants
DB


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
File System


dir_out

public static java.lang.String dir_out

output_files_in_gzip

public static boolean output_files_in_gzip

dir_tests

public static java.lang.String dir_tests

file_stats

public static java.lang.String file_stats

disable_partition

public static boolean disable_partition
System


max_threads

public static int max_threads

build_predicate_table_indexes

public static boolean build_predicate_table_indexes

evidence_file_chunk_size

public static int evidence_file_chunk_size

partition_size_bound

public static double partition_size_bound

ram_size

public static double ram_size

evidDBSchema

public static java.lang.String evidDBSchema

dbNeedTranslate

public static boolean dbNeedTranslate

use_atom_blocking

public static boolean use_atom_blocking
Inference


mark_all_atoms_active

public static boolean mark_all_atoms_active

stop_samplesat_upon_sat

public static boolean stop_samplesat_upon_sat

soft_evidence_activation_threshold

public static double soft_evidence_activation_threshold

samplesat_sa_coef

public static double samplesat_sa_coef

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

sweepsat_greedy_probability

public static double sweepsat_greedy_probability

avoid_breaking_hard_clauses

public static boolean avoid_breaking_hard_clauses

apply_greedy_throttling

public static boolean apply_greedy_throttling

gauss_seidel_infer_rounds

public static int gauss_seidel_infer_rounds

verbose_level

public static int verbose_level
UI


console_line_header

public static java.lang.String console_line_header

clause_display_multiline

public static boolean clause_display_multiline

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

mcsatDumpPeriodSamples

public static int mcsatDumpPeriodSamples
Helper


mcsatDumpPeriodSeconds

public static int mcsatDumpPeriodSeconds

output_prolog_format

public static boolean output_prolog_format

output_prior_with_marginals

public static boolean output_prior_with_marginals

throw_exception_when_dying

public static boolean throw_exception_when_dying

keep_db_data

public static boolean keep_db_data

track_clause_provenance

public static boolean track_clause_provenance

reorder_literals

public static boolean reorder_literals

timeout

public static double timeout

num_tries_per_periodic_flush

public static int num_tries_per_periodic_flush

checkNumCriticalNodes

public static boolean checkNumCriticalNodes
Research


focus_on_critical_atoms

public static boolean focus_on_critical_atoms
Constructor Detail

Config

public Config()
Method Detail

getNumThreads

public static int getNumThreads()

getLoadingDir

public static java.lang.String getLoadingDir()

getWorkingDir

public static java.lang.String getWorkingDir()