|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objecttuffy.parse.CommandOptions
public class CommandOptions
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 |
---|
public boolean activateAllAtoms
public boolean avoidBreakingHardClauses
public java.lang.String consoleLineHeader
public java.lang.String cwaPreds
public boolean dbNeedTranslate
public boolean disablePartition
public boolean dual
public java.lang.String evidDBSchema
public java.lang.String fDribble
public java.lang.String fevid
public java.lang.String fout
public java.lang.String fprog
public java.lang.String fquery
public boolean isDLearningMode
public boolean keepData
public boolean marginal
public int maxFlips
public java.lang.Integer maxThreads
public int maxTries
public int mcsatDumpPeriodSec
public double mcsatPara
public int mcsatSamples
public double minProb
public int nDIteration
public boolean outputGz
public boolean outputProlog
public java.lang.String pathConf
public java.lang.String queryAtoms
public boolean showHelp
public int timeout
public int verboseLevel
Constructor Detail |
---|
public CommandOptions()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |