org.evosuite.symbolic.solver.smt

Class SmtIntConstant

java.lang.Object

org.evosuite.symbolic.solver.smt.SmtExpr

org.evosuite.symbolic.solver.smt.SmtConstant

org.evosuite.symbolic.solver.smt.SmtIntConstant

public final class SmtIntConstant
extends SmtConstant

Constructor Summary

Constructors

Constructor and Description
SmtIntConstant(int constantValue)
SmtIntConstant(long constantValue)

Method Summary

Modifier and Type	Method and Description
<K,V> K	accept(SmtExprVisitor<K,V> v, V arg)
boolean	equals(Object obj)
long	getConstantValue()
int	hashCode()

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

isSymbolic

Methods inherited from class java.lang.Object

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

Constructor Detail

SmtIntConstant

public SmtIntConstant(int constantValue)

SmtIntConstant

public SmtIntConstant(long constantValue)

Method Detail

getConstantValue

public long getConstantValue()

accept

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

Specified by:

accept in class SmtExpr

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object