|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object tuffy.util.Config felix.util.FelixConfig
public class FelixConfig
Container of global configuration parameters.
Nested Class Summary |
---|
Nested classes/interfaces inherited from class tuffy.util.Config |
---|
tuffy.util.Config.MCSAT_OUTPUT_TUPLE_ORDER, tuffy.util.Config.TUFFY_INFERENCE_TASK |
Field Summary | |
---|---|
static boolean |
allMat
|
static boolean |
allRuleAsMLN
|
static boolean |
allView
|
static java.lang.String |
auxSchema
|
static int |
currentIndent
Fields specialized to Felix |
static boolean |
explainMode
|
static boolean |
forceExt
|
static boolean |
hadoopLocal
|
static java.lang.String |
hdfsServer
|
static boolean |
isFirstRunOfDD
|
static boolean |
mixturedLoading
|
static java.lang.String |
mrServer
|
static int |
nCores
|
static int |
nDDIT
|
static int |
nReduce
|
static boolean |
pickRandom
|
Fields inherited from class tuffy.util.Config |
---|
apply_greedy_throttling, avoid_breaking_hard_clauses, build_predicate_table_indexes, checkNumCriticalNodes, clause_display_multiline, console_line_header, currentSampledNumber, db_password, db_schema, db_url, db_username, dbNeedTranslate, dir_out, dir_tests, dir_working, disable_partition, display_marker, evidDBSchema, evidence_file_chunk_size, exiting_mode, file_stats, focus_on_critical_atoms, gauss_seidel_infer_rounds, globalCounter, gp, hard_threshold, hard_weight, keep_db_data, learning_mode, marginal_output_min_prob, mark_all_atoms_active, max_threads, mcsat_output_hidden_atoms, mcsat_output_order, mcsat_sample_para, mcsatDumpPeriodSamples, mcsatDumpPeriodSeconds, num_tries_per_periodic_flush, output_files_in_gzip, output_prior_with_marginals, output_prolog_format, partition_size_bound, path_conf, product_line, product_name, ram_size, relConstants, reorder_literals, samplesat_sa_coef, snapshot_mode, snapshoting_so_do_not_do_init_flip, soft_evidence_activation_threshold, stop_samplesat_upon_sat, sweepsat_greedy_probability, throw_exception_when_dying, timeout, track_clause_provenance, use_atom_blocking, verbose_level, walksat_random_step_probability |
Constructor Summary | |
---|---|
FelixConfig()
|
Method Summary | |
---|---|
static void |
overrideID()
Overriding Tuffy fields to get new identity |
Methods inherited from class tuffy.util.Config |
---|
getLoadingDir, getNextGlobalCounter, getNumThreads, getProcessID, getWorkingDir |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public static boolean hadoopLocal
public static java.lang.String auxSchema
public static boolean forceExt
public static int currentIndent
public static boolean isFirstRunOfDD
public static boolean allRuleAsMLN
public static boolean pickRandom
public static boolean explainMode
public static int nCores
public static boolean allView
public static boolean allMat
public static boolean mixturedLoading
public static java.lang.String hdfsServer
public static java.lang.String mrServer
public static int nReduce
public static int nDDIT
Constructor Detail |
---|
public FelixConfig()
Method Detail |
---|
public static void overrideID()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |