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