org.evosuite.symbolic.solver.smt

Class SmtOperation

java.lang.Object

org.evosuite.symbolic.solver.smt.SmtExpr

org.evosuite.symbolic.solver.smt.SmtOperation

public final class SmtOperation
extends SmtExpr

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	SmtOperation.Operator

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
<K,V> K	accept(SmtExprVisitor<K,V> v, V arg)
boolean	equals(Object obj)
SmtExpr[]	getArguments()
SmtOperation.Operator	getOperator()
int	hashCode()
boolean	isSymbolic()

Methods inherited from class java.lang.Object

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

Constructor Detail

SmtOperation

public SmtOperation(SmtOperation.Operator op,
                    SmtExpr... arg)

Unary operation

Parameters:

op -

arg -

Method Detail

accept

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

Specified by:

accept in class SmtExpr

getArguments

public SmtExpr[] getArguments()

getOperator

public SmtOperation.Operator getOperator()

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

isSymbolic

public boolean isSymbolic()

Specified by:

isSymbolic in class SmtExpr