Uses of Class
org.evosuite.symbolic.solver.smt.SmtOperation.Operator

Packages that use SmtOperation.Operator

Package	Description
org.evosuite.symbolic.solver.smt

Uses of SmtOperation.Operator in org.evosuite.symbolic.solver.smt

Methods in org.evosuite.symbolic.solver.smt that return SmtOperation.Operator

Modifier and Type	Method and Description
SmtOperation.Operator	SmtOperation.getOperator()
static SmtOperation.Operator	SmtOperation.Operator.valueOf(String name) Returns the enum constant of this type with the specified name.
static SmtOperation.Operator[]	SmtOperation.Operator.values() Returns an array containing the constants of this enum type, in the order they are declared.

Methods in org.evosuite.symbolic.solver.smt that return types with arguments of type SmtOperation.Operator

Modifier and Type	Method and Description
Set<SmtOperation.Operator>	SmtOperatorCollector.getOperators()

Constructors in org.evosuite.symbolic.solver.smt with parameters of type SmtOperation.Operator

Constructor and Description
SmtOperation(SmtOperation.Operator op, SmtExpr... arg) Unary operation