soot.relations
Class Domain
java.lang.Object
soot.relations.Domain
- public class Domain
- extends java.lang.Object
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Domain
public Domain(Numberer numberer)
Domain
public Domain(Numberer numberer,
java.lang.String name)
numberer
public Numberer numberer()
toString
public java.lang.String toString()
toString
public static java.lang.String toString(java.lang.Object[] domains)
box
public static Domain[] box(Domain d1)
box
public static Domain[] box(Domain d1,
Domain d2)
box
public static Domain[] box(Domain d1,
Domain d2,
Domain d3)