Uses of Class
soot.jimple.toolkits.thread.mhp.MonitorSet

Packages that use MonitorSet

Package	Description
soot.jimple.toolkits.thread.mhp

Uses of MonitorSet in soot.jimple.toolkits.thread.mhp

Methods in soot.jimple.toolkits.thread.mhp that return MonitorSet

Modifier and Type	Method and Description
MonitorSet	MonitorSet.clone()

Methods in soot.jimple.toolkits.thread.mhp with parameters of type MonitorSet

Modifier and Type	Method and Description
void	MonitorSet.intersection(MonitorSet other, MonitorSet dest) Returns the union (join) of this MonitorSet and other, putting result into dest.
void	MonitorSet.union(MonitorSet other) Returns the union (join) of this MonitorSet and other, putting result into this.