org.evosuite.symbolic.vm

Class Fp64Operand

java.lang.Object

org.evosuite.symbolic.vm.Fp64Operand

All Implemented Interfaces:

DoubleWordOperand, Operand, RealOperand

public final class Fp64Operand
extends Object
implements DoubleWordOperand, RealOperand

Author:

galeotti

Constructor Summary

Constructors

Constructor and Description
Fp64Operand(RealValue realExpr)

Method Summary

Modifier and Type	Method and Description
RealValue	getRealExpression()
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

Fp64Operand

public Fp64Operand(RealValue realExpr)

Method Detail

getRealExpression

public RealValue getRealExpression()

Specified by:

getRealExpression in interface RealOperand

toString

public String toString()

Overrides:

toString in class Object