public final class SMGJoinSubSMGsForAbstraction
extends java.lang.Object
| Constructor and Description |
|---|
SMGJoinSubSMGsForAbstraction(ReadableSMG pSMG,
SMGObject pObj1,
SMGObject pObj2) |
| Modifier and Type | Method and Description |
|---|---|
SMGObject |
getNewAbstractObject() |
java.util.Set<SMGObject> |
getNonSharedObjectsFromSMG1() |
java.util.Set<SMGObject> |
getNonSharedObjectsFromSMG2() |
java.util.Set<java.lang.Integer> |
getNonSharedValuesFromSMG1() |
java.util.Set<java.lang.Integer> |
getNonSharedValuesFromSMG2() |
ReadableSMG |
getResultSMG() |
SMGJoinStatus |
getStatus() |
boolean |
isDefined() |
public SMGJoinSubSMGsForAbstraction(ReadableSMG pSMG, SMGObject pObj1, SMGObject pObj2)
public boolean isDefined()
public SMGJoinStatus getStatus()
public ReadableSMG getResultSMG()
public SMGObject getNewAbstractObject()
public java.util.Set<SMGObject> getNonSharedObjectsFromSMG1()
public java.util.Set<java.lang.Integer> getNonSharedValuesFromSMG1()
public java.util.Set<SMGObject> getNonSharedObjectsFromSMG2()
public java.util.Set<java.lang.Integer> getNonSharedValuesFromSMG2()