org.evosuite.symbolic.solver.smt

Class SmtConstantDeclaration

java.lang.Object

org.evosuite.symbolic.solver.smt.SmtConstantDeclaration

public final class SmtConstantDeclaration
extends Object

Constructor Summary

Constructors

Constructor and Description
SmtConstantDeclaration(String constantName, String constantSort)

Method Summary

Modifier and Type	Method and Description
String	getConstantName()
String	getConstantSort()

Methods inherited from class java.lang.Object

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

Constructor Detail

SmtConstantDeclaration

public SmtConstantDeclaration(String constantName,
                              String constantSort)

Method Detail

getConstantName

public String getConstantName()

getConstantSort

public String getConstantSort()