Uses of Class
org.evosuite.symbolic.solver.smt.SmtConstantDeclaration

Packages that use SmtConstantDeclaration

Package	Description
org.evosuite.symbolic.solver
org.evosuite.symbolic.solver.smt

Uses of SmtConstantDeclaration in org.evosuite.symbolic.solver

Methods in org.evosuite.symbolic.solver that return SmtConstantDeclaration

Modifier and Type	Method and Description
static SmtConstantDeclaration	SmtExprBuilder.mkIntConstantDeclaration(String constName)
static SmtConstantDeclaration	SmtExprBuilder.mkRealConstantDeclaration(String constName)
static SmtConstantDeclaration	SmtExprBuilder.mkStringConstantDeclaration(String constName)

Uses of SmtConstantDeclaration in org.evosuite.symbolic.solver.smt

Methods in org.evosuite.symbolic.solver.smt that return types with arguments of type SmtConstantDeclaration

Modifier and Type	Method and Description
List<SmtConstantDeclaration>	SmtCheckSatQuery.getConstantDeclarations()

Constructor parameters in org.evosuite.symbolic.solver.smt with type arguments of type SmtConstantDeclaration

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)