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.