public class SMTFile extends Object
Modifier and Type | Field and Description |
---|---|
(package private) String |
defaultLogic |
(package private) List<SMTTerm> |
formulas |
(package private) List<SMTFunction> |
functions |
(package private) String |
scope |
(package private) List<SMTSort> |
sorts |
Constructor and Description |
---|
SMTFile() |
Modifier and Type | Method and Description |
---|---|
void |
addFormula(SMTTerm formula) |
void |
addFormulas(List<SMTTerm> terms) |
void |
addFunction(SMTFunction function) |
void |
addSort(SMTSort sort) |
String |
getDefaultLogic() |
List<SMTTerm> |
getFormulas() |
List<SMTFunction> |
getFunctions() |
String |
getScope() |
List<SMTSort> |
getSorts() |
void |
removeAllFunction(Set<SMTFunction> functions) |
void |
removeFunction(SMTFunction function) |
void |
setDefaultLogic(String defaultLogic) |
void |
setFormulas(List<SMTTerm> formulas) |
void |
setFunctions(List<SMTFunction> functions) |
void |
setScope(String scope) |
void |
setSorts(List<SMTSort> sorts) |
String |
toString() |
void |
write(OutputStream outStream) |
List<SMTFunction> functions
String scope
String defaultLogic
public List<SMTFunction> getFunctions()
public void setFunctions(List<SMTFunction> functions)
public void addSort(SMTSort sort)
public void addFunction(SMTFunction function)
public void removeFunction(SMTFunction function)
public void removeAllFunction(Set<SMTFunction> functions)
public void addFormula(SMTTerm formula)
public String getDefaultLogic()
public void setDefaultLogic(String defaultLogic)
defaultLogic
- the defaultLogic to setpublic String getScope()
public void setScope(String scope)
scope
- the scope to setpublic void write(OutputStream outStream)