tuffy.parse
Class CommandOptions

java.lang.Object
  extended by tuffy.parse.CommandOptions

public class CommandOptions
extends java.lang.Object

Parser for command line options.


Nested Class Summary
static class CommandOptions.InferDataStore
           
static class CommandOptions.MAPInferAlgo
           
 
Field Summary
 boolean activateAllAtoms
           
 boolean avoidBreakingHardClauses
           
 java.lang.String consoleLineHeader
           
 java.lang.String cwaPreds
           
 boolean dbNeedTranslate
           
 boolean disablePartition
           
 boolean dual
           
 java.lang.String evidDBSchema
          Auxiliary input/output
 java.lang.String fDribble
           
 java.lang.String fevid
           
 java.lang.String fout
           
 java.lang.String fprog
          Essential input/output
 java.lang.String fquery
           
 boolean isDLearningMode
           
 boolean keepData
           
 boolean marginal
          Mode selection
 int maxFlips
          Inference/learning parameters
 java.lang.Integer maxThreads
           
 int maxTries
           
 int mcsatDumpPeriodSec
           
 double mcsatPara
           
 int mcsatSamples
           
 double minProb
           
 int nDIteration
           
 boolean outputGz
           
 boolean outputProlog
           
 java.lang.String pathConf
          Misc
 java.lang.String queryAtoms
           
 boolean showHelp
           
 int timeout
           
 int verboseLevel
           
 
Constructor Summary
CommandOptions()
           
 
Method Summary
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

activateAllAtoms

public boolean activateAllAtoms

avoidBreakingHardClauses

public boolean avoidBreakingHardClauses

consoleLineHeader

public java.lang.String consoleLineHeader

cwaPreds

public java.lang.String cwaPreds

dbNeedTranslate

public boolean dbNeedTranslate

disablePartition

public boolean disablePartition

dual

public boolean dual

evidDBSchema

public java.lang.String evidDBSchema
Auxiliary input/output


fDribble

public java.lang.String fDribble

fevid

public java.lang.String fevid

fout

public java.lang.String fout

fprog

public java.lang.String fprog
Essential input/output


fquery

public java.lang.String fquery

isDLearningMode

public boolean isDLearningMode

keepData

public boolean keepData

marginal

public boolean marginal
Mode selection


maxFlips

public int maxFlips
Inference/learning parameters


maxThreads

public java.lang.Integer maxThreads

maxTries

public int maxTries

mcsatDumpPeriodSec

public int mcsatDumpPeriodSec

mcsatPara

public double mcsatPara

mcsatSamples

public int mcsatSamples

minProb

public double minProb

nDIteration

public int nDIteration

outputGz

public boolean outputGz

outputProlog

public boolean outputProlog

pathConf

public java.lang.String pathConf
Misc


queryAtoms

public java.lang.String queryAtoms

showHelp

public boolean showHelp

timeout

public int timeout

verboseLevel

public int verboseLevel
Constructor Detail

CommandOptions

public CommandOptions()