org.evosuite.symbolic.solver.smt

Class SmtCheckSatQuery

java.lang.Object

org.evosuite.symbolic.solver.smt.SmtCheckSatQuery

public final class SmtCheckSatQuery
extends Object

Constructor Summary

Constructors

Constructor and Description
SmtCheckSatQuery(List<SmtConstantDeclaration> constantDeclarations, List<SmtAssertion> assertions)
SmtCheckSatQuery(List<SmtConstantDeclaration> constantDeclarations, List<SmtFunctionDeclaration> functionDeclarations, List<SmtFunctionDefinition> functionDefinitions, List<SmtAssertion> assertions)
SmtCheckSatQuery(List<SmtConstantDeclaration> constantDeclarations, List<SmtFunctionDefinition> functionDefinitions, List<SmtAssertion> assertions)

Method Summary

Modifier and Type	Method and Description
List<SmtAssertion>	getAssertions()
List<SmtConstantDeclaration>	getConstantDeclarations()
List<SmtFunctionDeclaration>	getFunctionDeclarations()
List<SmtFunctionDefinition>	getFunctionDefinitions()

Methods inherited from class java.lang.Object

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

Constructor Detail

SmtCheckSatQuery

public SmtCheckSatQuery(List<SmtConstantDeclaration> constantDeclarations,
                        List<SmtFunctionDeclaration> functionDeclarations,
                        List<SmtFunctionDefinition> functionDefinitions,
                        List<SmtAssertion> assertions)

SmtCheckSatQuery

public SmtCheckSatQuery(List<SmtConstantDeclaration> constantDeclarations,
                        List<SmtAssertion> assertions)

SmtCheckSatQuery

public SmtCheckSatQuery(List<SmtConstantDeclaration> constantDeclarations,
                        List<SmtFunctionDefinition> functionDefinitions,
                        List<SmtAssertion> assertions)

Method Detail

getAssertions

public List<SmtAssertion> getAssertions()

getConstantDeclarations

public List<SmtConstantDeclaration> getConstantDeclarations()

getFunctionDefinitions

public List<SmtFunctionDefinition> getFunctionDefinitions()

getFunctionDeclarations

public List<SmtFunctionDeclaration> getFunctionDeclarations()