SmtOperatorCollector (evosuite-client 1.0.5 API)

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

Constructors
Constructor and Description
`SmtOperatorCollector()`

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`Set<SmtOperation.Operator>`	`getOperators()`
`Void`	`visit(SmtBooleanConstant n, Void arg)`
`Void`	`visit(SmtIntConstant n, Void arg)`
`Void`	`visit(SmtIntVariable n, Void arg)`
`Void`	`visit(SmtOperation n, Void arg)`
`Void`	`visit(SmtRealConstant n, Void arg)`
`Void`	`visit(SmtRealVariable n, Void arg)`
`Void`	`visit(SmtStringConstant n, Void arg)`
`Void`	`visit(SmtStringVariable n, Void arg)`

public Void visit(SmtIntConstant n,
                  Void arg)

public Void visit(SmtRealConstant n,
                  Void arg)

public Void visit(SmtStringConstant n,
                  Void arg)

public Void visit(SmtIntVariable n,
                  Void arg)

public Void visit(SmtRealVariable n,
                  Void arg)

public Void visit(SmtStringVariable n,
                  Void arg)

public Void visit(SmtOperation n,
                  Void arg)

public Set<SmtOperation.Operator> getOperators()

public Void visit(SmtBooleanConstant n,
                  Void arg)

Class SmtOperatorCollector