soot.relations
Class Domain

java.lang.Object
  extended bysoot.relations.Domain

public class Domain
extends java.lang.Object


Constructor Summary
Domain(Numberer numberer)
           
Domain(Numberer numberer, java.lang.String name)
           
 
Method Summary
static Domain[] box(Domain d1)
           
static Domain[] box(Domain d1, Domain d2)
           
static Domain[] box(Domain d1, Domain d2, Domain d3)
           
 Numberer numberer()
           
 java.lang.String toString()
           
static java.lang.String toString(java.lang.Object[] domains)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

Domain

public Domain(Numberer numberer)

Domain

public Domain(Numberer numberer,
              java.lang.String name)
Method Detail

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)