org.evosuite.symbolic.solver.smt

Class SmtExpr

java.lang.Object

org.evosuite.symbolic.solver.smt.SmtExpr

Direct Known Subclasses:

SmtConstant, SmtOperation, SmtVariable

public abstract class SmtExpr
extends Object

Constructor Summary

Constructors

Constructor and Description
SmtExpr()

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

SmtExpr

public SmtExpr()

Method Detail

accept

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

isSymbolic

public abstract boolean isSymbolic()