de.uka.ilkd.key.smt.lang

Class SMTFile

java.lang.Object

de.uka.ilkd.key.smt.lang.SMTFile

public class SMTFile
extends java.lang.Object

Author:

Aboubakr Achraf El Ghazi

Field Summary

Fields

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 Summary

Constructors

Constructor and Description
SMTFile()

Method Summary

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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

sorts

java.util.List<SMTSort> sorts

functions

java.util.List<SMTFunction> functions

formulas

java.util.List<SMTTerm> formulas

scope

java.lang.String scope

defaultLogic

java.lang.String defaultLogic

Constructor Detail

SMTFile

public SMTFile()

Method Detail

getSorts

public java.util.List<SMTSort> getSorts()

setSorts

public void setSorts(java.util.List<SMTSort> sorts)

getFunctions

public java.util.List<SMTFunction> getFunctions()

setFunctions

public void setFunctions(java.util.List<SMTFunction> functions)

getFormulas

public java.util.List<SMTTerm> getFormulas()

setFormulas

public void setFormulas(java.util.List<SMTTerm> formulas)

addSort

public void addSort(SMTSort sort)

addFunction

public void addFunction(SMTFunction function)

removeFunction

public void removeFunction(SMTFunction function)

removeAllFunction

public void removeAllFunction(java.util.Set<SMTFunction> functions)

addFormula

public void addFormula(SMTTerm formula)

addFormulas

public void addFormulas(java.util.List<SMTTerm> terms)

getDefaultLogic

public java.lang.String getDefaultLogic()

Returns:

the defaultLogic

setDefaultLogic

public void setDefaultLogic(java.lang.String defaultLogic)

Parameters:

defaultLogic - the defaultLogic to set

getScope

public java.lang.String getScope()

Returns:

the scope

setScope

public void setScope(java.lang.String scope)

Parameters:

scope - the scope to set

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

write

public void write(java.io.OutputStream outStream)