
public class LivenessAssumption extends Object implements Assumption<LivenessAssumption>
| Modifier and Type | Class and Description |
|---|---|
static class |
LivenessAssumption.Updater
Updates the assumption by copying it on first write.
|
| Constructor and Description |
|---|
LivenessAssumption() |
LivenessAssumption(LivenessAssumption assumptions) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
equals(Object obj) |
int |
hashCode() |
boolean |
isLive(JVariable variable) |
LivenessAssumption |
join(LivenessAssumption value)
Computes union of all live variables.
|
String |
toDebugString() |
String |
toString() |
public LivenessAssumption()
public LivenessAssumption(LivenessAssumption assumptions)
public boolean isLive(JVariable variable)
public LivenessAssumption join(LivenessAssumption value)
join in interface Assumption<LivenessAssumption>public String toDebugString()
Copyright © 2018. All rights reserved.