org.evosuite.symbolic.solver.smt

Class SmtAssertion

java.lang.Object

org.evosuite.symbolic.solver.smt.SmtAssertion

public final class SmtAssertion
extends Object

Constructor Summary

Constructors

Constructor and Description
SmtAssertion(SmtExpr f)

Method Summary

Modifier and Type	Method and Description
SmtExpr	getFormula()

Methods inherited from class java.lang.Object

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

Constructor Detail

SmtAssertion

public SmtAssertion(SmtExpr f)

Method Detail

getFormula

public SmtExpr getFormula()