org.evosuite.symbolic.solver.smt

Interface SmtExprVisitor<K,V>

All Known Implementing Classes:

SmtConstantCollector, SmtExprEvaluator, SmtExprPrinter, SmtOperatorCollector, SmtVariableCollector

public interface SmtExprVisitor<K,V>

Method Summary

Modifier and Type	Method and Description
K	visit(SmtBooleanConstant n, V arg)
K	visit(SmtIntConstant n, V arg)
K	visit(SmtIntVariable n, V arg)
K	visit(SmtOperation n, V arg)
K	visit(SmtRealConstant n, V arg)
K	visit(SmtRealVariable n, V arg)
K	visit(SmtStringConstant n, V arg)
K	visit(SmtStringVariable n, V arg)

Method Detail

visit

K visit(SmtBooleanConstant n,
        V arg)

visit

K visit(SmtIntConstant n,
        V arg)

visit

K visit(SmtRealConstant n,
        V arg)

visit

K visit(SmtStringConstant n,
        V arg)

visit

K visit(SmtIntVariable n,
        V arg)

visit

K visit(SmtRealVariable n,
        V arg)

visit

K visit(SmtStringVariable n,
        V arg)

visit

K visit(SmtOperation n,
        V arg)