cz.afri.smg.graphs

Interface SMGValues.SMGExplicitValue

All Known Implementing Classes:

SMGValues.SMGKnownExpValue

Enclosing class:

SMGValues

public static interface SMGValues.SMGExplicitValue

Method Summary

Modifier and Type	Method and Description
SMGValues.SMGExplicitValue	add(SMGValues.SMGExplicitValue pRVal)
SMGValues.SMGExplicitValue	and(SMGValues.SMGExplicitValue pRVal)
SMGValues.SMGExplicitValue	divide(SMGValues.SMGExplicitValue pRVal)
int	getAsInt()
long	getAsLong()
java.math.BigInteger	getValue()
boolean	isUnknown()
SMGValues.SMGExplicitValue	multiply(SMGValues.SMGExplicitValue pRVal)
SMGValues.SMGExplicitValue	negate()
SMGValues.SMGExplicitValue	or(SMGValues.SMGExplicitValue pRVal)
SMGValues.SMGExplicitValue	shiftLeft(SMGValues.SMGExplicitValue pRVal)
SMGValues.SMGExplicitValue	subtract(SMGValues.SMGExplicitValue pRVal)
SMGValues.SMGExplicitValue	xor(SMGValues.SMGExplicitValue pRVal)

Method Detail

negate

SMGValues.SMGExplicitValue negate()

xor

SMGValues.SMGExplicitValue xor(SMGValues.SMGExplicitValue pRVal)

or

SMGValues.SMGExplicitValue or(SMGValues.SMGExplicitValue pRVal)

and

SMGValues.SMGExplicitValue and(SMGValues.SMGExplicitValue pRVal)

shiftLeft

SMGValues.SMGExplicitValue shiftLeft(SMGValues.SMGExplicitValue pRVal)

multiply

SMGValues.SMGExplicitValue multiply(SMGValues.SMGExplicitValue pRVal)

divide

SMGValues.SMGExplicitValue divide(SMGValues.SMGExplicitValue pRVal)

subtract

SMGValues.SMGExplicitValue subtract(SMGValues.SMGExplicitValue pRVal)

add

SMGValues.SMGExplicitValue add(SMGValues.SMGExplicitValue pRVal)

isUnknown

boolean isUnknown()

getValue

java.math.BigInteger getValue()

getAsInt

int getAsInt()

getAsLong

long getAsLong()