public final class SMGRegion extends SMGObject
| Constructor and Description |
|---|
SMGRegion(int pSize,
java.lang.String pLabel) |
SMGRegion(SMGRegion pOther) |
| Modifier and Type | Method and Description |
|---|---|
void |
accept(SMGObjectVisitor visitor) |
boolean |
isAbstract() |
boolean |
isMoreGeneral(SMGObject pOther) |
SMGObject |
join(SMGObject pOther) |
boolean |
propertiesEqual(SMGRegion pOther) |
java.lang.String |
toString() |
getLabel, getNullObject, getSize, notNullpublic SMGRegion(int pSize,
java.lang.String pLabel)
public SMGRegion(SMGRegion pOther)
public java.lang.String toString()
toString in class java.lang.Objectpublic boolean propertiesEqual(SMGRegion pOther)
public boolean isAbstract()
isAbstract in class SMGObjectpublic void accept(SMGObjectVisitor visitor)
public boolean isMoreGeneral(SMGObject pOther)
isMoreGeneral in class SMGObject