org.evosuite.symbolic.solver.smt

Class SmtFunctionDefinition

java.lang.Object

org.evosuite.symbolic.solver.smt.SmtFunctionDefinition

public final class SmtFunctionDefinition
extends Object

Constructor Summary

Constructors

Constructor and Description
SmtFunctionDefinition(String functionDefinition)

Method Summary

Modifier and Type	Method and Description
String	getFunctionDefinition()

Methods inherited from class java.lang.Object

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

Constructor Detail

SmtFunctionDefinition

public SmtFunctionDefinition(String functionDefinition)

Method Detail

getFunctionDefinition

public String getFunctionDefinition()