public static final class ConditionalEliminationUtil.GuardedCondition extends Object
Constructor and Description |
---|
GuardedCondition(GuardingNode guard,
LogicNode condition,
boolean negated) |
Modifier and Type | Method and Description |
---|---|
LogicNode |
getCondition() |
GuardingNode |
getGuard() |
boolean |
isNegated() |
public GuardedCondition(GuardingNode guard, LogicNode condition, boolean negated)
public GuardingNode getGuard()
public LogicNode getCondition()
public boolean isNegated()