org.evosuite.symbolic.solver.smt

Class SmtConstant

java.lang.Object

org.evosuite.symbolic.solver.smt.SmtExpr

org.evosuite.symbolic.solver.smt.SmtConstant

Direct Known Subclasses:

SmtBooleanConstant, SmtIntConstant, SmtRealConstant, SmtStringConstant

public abstract class SmtConstant
extends SmtExpr

Constructor Summary

Constructors

Constructor and Description
SmtConstant()

Method Summary

Modifier and Type	Method and Description
boolean	isSymbolic()

Methods inherited from class org.evosuite.symbolic.solver.smt.SmtExpr

accept

Methods inherited from class java.lang.Object

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

Constructor Detail

SmtConstant

public SmtConstant()

Method Detail

isSymbolic

public final boolean isSymbolic()

Specified by:

isSymbolic in class SmtExpr