org.evosuite.symbolic.solver.smt

Class SmtIntVariable

java.lang.Object

org.evosuite.symbolic.solver.smt.SmtExpr

org.evosuite.symbolic.solver.smt.SmtVariable

org.evosuite.symbolic.solver.smt.SmtIntVariable

public final class SmtIntVariable
extends SmtVariable

Field Summary

Fields inherited from class org.evosuite.symbolic.solver.smt.SmtVariable

varName

Constructor Summary

Constructors

Constructor and Description
SmtIntVariable(String varName)

Method Summary

Modifier and Type	Method and Description
<K,V> K	accept(SmtExprVisitor<K,V> v, V arg)

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

equals, getName, hashCode, isSymbolic

Methods inherited from class java.lang.Object

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

Constructor Detail

SmtIntVariable

public SmtIntVariable(String varName)

Method Detail

accept

public <K,V> K accept(SmtExprVisitor<K,V> v,
                      V arg)

Specified by:

accept in class SmtExpr