cz.afri.smg.graphs

Class SMGValues.SMGKnownExpValue

java.lang.Object

cz.afri.smg.graphs.SMGValues.SMGKnownExpValue

All Implemented Interfaces:

SMGValues.SMGExplicitValue

Enclosing class:

SMGValues

public static final class SMGValues.SMGKnownExpValue
extends java.lang.Object
implements SMGValues.SMGExplicitValue

Field Summary

Fields

Modifier and Type	Field and Description
static SMGValues.SMGKnownExpValue	ONE
static SMGValues.SMGKnownExpValue	ZERO

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)
boolean	equals(java.lang.Object pObj)
int	getAsInt()
int	getAsInt()
long	getAsLong()
long	getAsLong()
java.math.BigInteger	getValue()
java.math.BigInteger	getValue()
int	hashCode()
boolean	isUnknown()
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)
java.lang.String	toString()
static SMGValues.SMGKnownExpValue	valueOf(java.math.BigInteger pValue)
static SMGValues.SMGKnownExpValue	valueOf(int pValue)
static SMGValues.SMGKnownExpValue	valueOf(long pValue)
SMGValues.SMGExplicitValue	xor(SMGValues.SMGExplicitValue pRVal)

Methods inherited from class java.lang.Object

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

Field Detail

ONE

public static final SMGValues.SMGKnownExpValue ONE

ZERO

public static final SMGValues.SMGKnownExpValue ZERO

Method Detail

equals

public boolean equals(java.lang.Object pObj)

hashCode

public int hashCode()

negate

public SMGValues.SMGExplicitValue negate()

Specified by:

negate in interface SMGValues.SMGExplicitValue

xor

public SMGValues.SMGExplicitValue xor(SMGValues.SMGExplicitValue pRVal)

Specified by:

xor in interface SMGValues.SMGExplicitValue

or

public SMGValues.SMGExplicitValue or(SMGValues.SMGExplicitValue pRVal)

Specified by:

or in interface SMGValues.SMGExplicitValue

and

public SMGValues.SMGExplicitValue and(SMGValues.SMGExplicitValue pRVal)

Specified by:

and in interface SMGValues.SMGExplicitValue

shiftLeft

public SMGValues.SMGExplicitValue shiftLeft(SMGValues.SMGExplicitValue pRVal)

Specified by:

shiftLeft in interface SMGValues.SMGExplicitValue

multiply

public SMGValues.SMGExplicitValue multiply(SMGValues.SMGExplicitValue pRVal)

Specified by:

multiply in interface SMGValues.SMGExplicitValue

divide

public SMGValues.SMGExplicitValue divide(SMGValues.SMGExplicitValue pRVal)

Specified by:

divide in interface SMGValues.SMGExplicitValue

subtract

public SMGValues.SMGExplicitValue subtract(SMGValues.SMGExplicitValue pRVal)

Specified by:

subtract in interface SMGValues.SMGExplicitValue

add

public SMGValues.SMGExplicitValue add(SMGValues.SMGExplicitValue pRVal)

Specified by:

add in interface SMGValues.SMGExplicitValue

valueOf

public static SMGValues.SMGKnownExpValue valueOf(int pValue)

valueOf

public static SMGValues.SMGKnownExpValue valueOf(long pValue)

valueOf

public static SMGValues.SMGKnownExpValue valueOf(java.math.BigInteger pValue)

isUnknown

public boolean isUnknown()

getValue

public java.math.BigInteger getValue()

getAsInt

public int getAsInt()

getAsLong

public long getAsLong()

getValue

public final java.math.BigInteger getValue()

getAsInt

public final int getAsInt()

getAsLong

public final long getAsLong()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

isUnknown

public boolean isUnknown()