CTypeAssumptionWrapper

public class CTypeAssumptionWrapper
extends java.lang.Object

Constructors
Constructor and Description
`CTypeAssumptionWrapper(CTypeAssumption assumption)`

Methods
Modifier and Type	Method and Description
`boolean`	`equals(java.lang.Object obj)`
`boolean`	`equalsAssumption(CTypeAssumption assumpt)`
`Type`	`getAssumedType()`
`java.lang.String`	`getClassName()`
`java.lang.String`	`getIdentifier()`
`void`	`setAssumedType(Type assumedType)`
`void`	`setClassName(java.lang.String className)`
`java.lang.String`	`toString()`

Methods inherited from class java.lang.Object
getClass, hashCode, notify, notifyAll, wait, wait, wait

public CTypeAssumptionWrapper(CTypeAssumption assumption)

public final boolean equals(java.lang.Object obj)

public boolean equalsAssumption(CTypeAssumption assumpt)

public java.lang.String getClassName()

public java.lang.String getIdentifier()

public void setAssumedType(Type assumedType)

public void setClassName(java.lang.String className)

Class CTypeAssumptionWrapper