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

fprog

public java.lang.String fprog
Essential input/output


fevid

public java.lang.String fevid

queryAtoms

public java.lang.String queryAtoms

fquery

public java.lang.String fquery

fout

public java.lang.String fout

evidDBSchema

public java.lang.String evidDBSchema
Auxiliary input/output


dbNeedTranslate

public boolean dbNeedTranslate

outputGz

public boolean outputGz

keepData

public boolean keepData

fDribble

public java.lang.String fDribble

outputProlog

public boolean outputProlog

consoleLineHeader

public java.lang.String consoleLineHeader

mcsatDumpPeriodSec

public int mcsatDumpPeriodSec

verboseLevel

public int verboseLevel

minProb

public double minProb

pathConf

public java.lang.String pathConf
Misc


showHelp

public boolean showHelp

timeout

public int timeout

marginal

public boolean marginal
Mode selection


dual

public boolean dual

isDLearningMode

public boolean isDLearningMode

disablePartition

public boolean disablePartition

maxThreads

public java.lang.Integer maxThreads

maxFlips

public int maxFlips
Inference/learning parameters


maxTries

public int maxTries

cwaPreds

public java.lang.String cwaPreds

activateAllAtoms

public boolean activateAllAtoms

avoidBreakingHardClauses

public boolean avoidBreakingHardClauses

mcsatSamples

public int mcsatSamples

mcsatPara

public double mcsatPara

nDIteration

public int nDIteration
Constructor Detail

CommandOptions

public CommandOptions()