cz.afri.smg.graphs

Class SMGValues.SMGKnownSymValue

java.lang.Object

cz.afri.smg.graphs.SMGValues.SMGKnownSymValue

All Implemented Interfaces:

SMGValues.SMGSymbolicValue

Enclosing class:

SMGValues

public static class SMGValues.SMGKnownSymValue
extends java.lang.Object
implements SMGValues.SMGSymbolicValue

Field Summary

Fields

Modifier and Type	Field and Description
static SMGValues.SMGKnownSymValue	FALSE
static SMGValues.SMGKnownSymValue	ONE
static SMGValues.SMGKnownSymValue	TRUE
static SMGValues.SMGKnownSymValue	ZERO

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	SMGKnownSymValue(java.math.BigInteger pValue)

Method Summary

Modifier and Type	Method and Description
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()
java.lang.String	toString()
static SMGValues.SMGKnownSymValue	valueOf(java.math.BigInteger pValue)
static SMGValues.SMGKnownSymValue	valueOf(int pValue)
static SMGValues.SMGKnownSymValue	valueOf(long pValue)

Methods inherited from class java.lang.Object

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

Field Detail

ZERO

public static final SMGValues.SMGKnownSymValue ZERO

ONE

public static final SMGValues.SMGKnownSymValue ONE

TRUE

public static final SMGValues.SMGKnownSymValue TRUE

FALSE

public static final SMGValues.SMGKnownSymValue FALSE

Constructor Detail

SMGKnownSymValue

protected SMGKnownSymValue(java.math.BigInteger pValue)

Method Detail

valueOf

public static SMGValues.SMGKnownSymValue valueOf(int pValue)

valueOf

public static SMGValues.SMGKnownSymValue valueOf(long pValue)

valueOf

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

equals

public final boolean equals(java.lang.Object pObj)

hashCode

public final int hashCode()

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()