tuffy.util
Class Config

java.lang.Object
  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()