SmtExprEvaluator (evosuite-client 1.0.5 API)

public final class SmtExprEvaluator
extends Object
implements SmtExprVisitor<Object,Void>

Constructors
Constructor and Description
`SmtExprEvaluator(Map<String,Object> solution)`

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`Boolean`	`visit(SmtBooleanConstant n, Void arg)`
`Long`	`visit(SmtIntConstant n, Void arg)`
`Long`	`visit(SmtIntVariable n, Void arg)`
`Object`	`visit(SmtOperation n, Void arg)`
`Double`	`visit(SmtRealConstant n, Void arg)`
`Double`	`visit(SmtRealVariable n, Void arg)`
`String`	`visit(SmtStringConstant n, Void arg)`
`String`	`visit(SmtStringVariable n, Void arg)`

public SmtExprEvaluator(Map<String,Object> solution)

public Long visit(SmtIntConstant n,
                  Void arg)

public Double visit(SmtRealConstant n,
                    Void arg)

public String visit(SmtStringConstant n,
                    Void arg)

public Long visit(SmtIntVariable n,
                  Void arg)

public Double visit(SmtRealVariable n,
                    Void arg)

public String visit(SmtStringVariable n,
                    Void arg)

public Object visit(SmtOperation n,
                    Void arg)

public Boolean visit(SmtBooleanConstant n,
                     Void arg)

Class SmtExprEvaluator