cz.afri.smg.graphs

Interface SMGValues.SMGSymbolicValue

All Known Implementing Classes:

SMGValues.SMGKnownSymValue

Enclosing class:

SMGValues

public static interface SMGValues.SMGSymbolicValue

Method Summary

Modifier and Type	Method and Description
int	getAsInt()
long	getAsLong()
java.math.BigInteger	getValue()
boolean	isUnknown()

Method Detail

isUnknown

boolean isUnknown()

getValue

java.math.BigInteger getValue()

getAsInt

int getAsInt()

getAsLong

long getAsLong()