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, notNull
public SMGRegion(int pSize, java.lang.String pLabel)
public SMGRegion(SMGRegion pOther)
public java.lang.String toString()
toString
in class java.lang.Object
public boolean propertiesEqual(SMGRegion pOther)
public boolean isAbstract()
isAbstract
in class SMGObject
public void accept(SMGObjectVisitor visitor)
public boolean isMoreGeneral(SMGObject pOther)
isMoreGeneral
in class SMGObject