public class Configuration
extends java.lang.Object
| Modifier and Type | Method and Description |
|---|---|
static Configuration |
getInstance() |
boolean |
getProofExplanation() |
boolean |
getRunLocal() |
long |
getSteps() |
boolean |
getThink() |
java.lang.String |
getVersion() |
void |
setProofExplanation(boolean flag) |
void |
setRunLocal(boolean flag) |
void |
setSteps(long steps) |
void |
setThink(boolean flag) |
public static Configuration getInstance()
public java.lang.String getVersion()
public void setProofExplanation(boolean flag)
public boolean getProofExplanation()
public void setThink(boolean flag)
public boolean getThink()
public void setSteps(long steps)
public long getSteps()
public void setRunLocal(boolean flag)
public boolean getRunLocal()
Copyright (c) 2004. All Rights Reserved.