felix.util
Class FelixConfig

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

public class FelixConfig
extends tuffy.util.Config

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

hadoopLocal

public static boolean hadoopLocal

auxSchema

public static java.lang.String auxSchema

forceExt

public static boolean forceExt

currentIndent

public static int currentIndent
Fields specialized to Felix


isFirstRunOfDD

public static boolean isFirstRunOfDD

allRuleAsMLN

public static boolean allRuleAsMLN

pickRandom

public static boolean pickRandom

explainMode

public static boolean explainMode

nCores

public static int nCores

allView

public static boolean allView

allMat

public static boolean allMat

mixturedLoading

public static boolean mixturedLoading

hdfsServer

public static java.lang.String hdfsServer

mrServer

public static java.lang.String mrServer

nReduce

public static int nReduce

nDDIT

public static int nDDIT
Constructor Detail

FelixConfig

public FelixConfig()
Method Detail

overrideID

public static void overrideID()
Overriding Tuffy fields to get new identity