org.evosuite.symbolic.solver.smt

Class SmtVariable

java.lang.Object

org.evosuite.symbolic.solver.smt.SmtExpr

org.evosuite.symbolic.solver.smt.SmtVariable

Direct Known Subclasses:

SmtIntVariable, SmtRealVariable, SmtStringVariable

public abstract class SmtVariable
extends SmtExpr

Field Summary

Fields

Modifier and Type	Field and Description
protected String	varName

Constructor Summary

Constructors

Constructor and Description
SmtVariable(String varName)

Method Summary

Modifier and Type	Method and Description
boolean	equals(Object obj)
String	getName()
int	hashCode()
boolean	isSymbolic()

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

accept

Methods inherited from class java.lang.Object

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

Field Detail

varName

protected final String varName

Constructor Detail

SmtVariable

public SmtVariable(String varName)

Method Detail

getName

public String getName()

hashCode

public final int hashCode()

Overrides:

hashCode in class Object

equals

public final boolean equals(Object obj)

Overrides:

equals in class Object

isSymbolic

public final boolean isSymbolic()

Specified by:

isSymbolic in class SmtExpr