public class SMTSort
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private SMTFunction |
allocatedAtoms |
private long |
bitSize |
static SMTSort |
BOOL |
private long |
bound |
private SMTFunction |
boundConst |
private java.lang.String |
id |
static SMTSort |
INT |
private SMTFunction |
is |
private SMTSort |
topLevel |
Constructor and Description |
---|
SMTSort(java.lang.String name) |
SMTSort(java.lang.String name,
SMTSort topLevel,
SMTFunction is) |
SMTSort(java.lang.String name,
SMTSort topLevel,
SMTFunction is,
int bitSize) |
SMTSort(java.lang.String name,
SMTSort topLevel,
SMTFunction is,
int bound,
SMTFunction allocatedAtoms) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object that)
Returns true iff ((that is from type sort) and (this.id == that.id))
|
SMTFunction |
getAllocatedAtoms() |
long |
getBitSize() |
long |
getBound() |
SMTFunction |
getBoundConst() |
java.lang.String |
getId() |
SMTFunction |
getIs() |
SMTSort |
getTopLevel() |
int |
hashCode() |
boolean |
isBV() |
static SMTSort |
mkBV(long bitSize) |
void |
setAllocatedAtoms(SMTFunction allocatedAtoms) |
void |
setBitSize(long intSize) |
void |
setBound(long l) |
void |
setBoundConst(SMTFunction boundConst) |
void |
setId(java.lang.String id) |
void |
setIs(SMTFunction is) |
void |
setTopLevel(SMTSort topLevel) |
java.lang.String |
toString()
Sort's string value
|
public static final SMTSort BOOL
public static final SMTSort INT
private java.lang.String id
private SMTSort topLevel
private SMTFunction is
private long bound
private long bitSize
private SMTFunction boundConst
private SMTFunction allocatedAtoms
public SMTSort(java.lang.String name)
public SMTSort(java.lang.String name, SMTSort topLevel, SMTFunction is)
public SMTSort(java.lang.String name, SMTSort topLevel, SMTFunction is, int bitSize)
public SMTSort(java.lang.String name, SMTSort topLevel, SMTFunction is, int bound, SMTFunction allocatedAtoms)
public static SMTSort mkBV(long bitSize)
public java.lang.String getId()
public void setId(java.lang.String id)
public SMTSort getTopLevel()
public void setTopLevel(SMTSort topLevel)
public SMTFunction getIs()
public void setIs(SMTFunction is)
public long getBound()
public void setBound(long l)
l
- the bound to setpublic long getBitSize()
public void setBitSize(long intSize)
intSize
- the bitSize to setpublic SMTFunction getBoundConst()
public void setBoundConst(SMTFunction boundConst)
boundConst
- the boundConst to setpublic SMTFunction getAllocatedAtoms()
public void setAllocatedAtoms(SMTFunction allocatedAtoms)
allocatedAtoms
- the allocatedAtoms to setpublic boolean isBV()
public boolean equals(java.lang.Object that)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object