org.evosuite.symbolic.solver.smt

Class SmtBooleanConstant

java.lang.Object

org.evosuite.symbolic.solver.smt.SmtExpr

org.evosuite.symbolic.solver.smt.SmtConstant

org.evosuite.symbolic.solver.smt.SmtBooleanConstant

public final class SmtBooleanConstant
extends SmtConstant

Constructor Summary

Constructors

Constructor and Description
SmtBooleanConstant(boolean booleanValue)

Method Summary

Modifier and Type	Method and Description
<K,V> K	accept(SmtExprVisitor<K,V> v, V arg)
boolean	booleanValue()
boolean	equals(Object obj)
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

SmtBooleanConstant

public SmtBooleanConstant(boolean booleanValue)

Method Detail

accept

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

Specified by:

accept in class SmtExpr

booleanValue

public boolean booleanValue()

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object