public class SMTSort
extends java.lang.Object
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 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
Copyright © 2003-2019 The KeY-Project.