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