public static final class ConditionalEliminationUtil.InfoElement extends Object
Constructor and Description |
---|
InfoElement(Stamp stamp,
GuardingNode guard,
ValueNode proxifiedInput,
ConditionalEliminationUtil.InfoElement parent) |
Modifier and Type | Method and Description |
---|---|
GuardingNode |
getGuard() |
ConditionalEliminationUtil.InfoElement |
getParent() |
ValueNode |
getProxifiedInput() |
Stamp |
getStamp() |
String |
toString() |
public InfoElement(Stamp stamp, GuardingNode guard, ValueNode proxifiedInput, ConditionalEliminationUtil.InfoElement parent)
public ConditionalEliminationUtil.InfoElement getParent()
public Stamp getStamp()
public GuardingNode getGuard()
public ValueNode getProxifiedInput()