org.evosuite.symbolic.solver.smt

Class SmtFunctionDeclaration

java.lang.Object

org.evosuite.symbolic.solver.smt.SmtFunctionDeclaration

public final class SmtFunctionDeclaration
extends Object

Constructor Summary

Constructors

Constructor and Description
SmtFunctionDeclaration(String funcName, String funcSort)

Method Summary

Modifier and Type	Method and Description
String	getFunctionName()
String	getFunctionSort()

Methods inherited from class java.lang.Object

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

Constructor Detail

SmtFunctionDeclaration

public SmtFunctionDeclaration(String funcName,
                              String funcSort)

Method Detail

getFunctionName

public String getFunctionName()

getFunctionSort

public String getFunctionSort()