soot.relations
Class Domain

java.lang.Object
  |
  +--soot.relations.Domain

public class Domain
extends java.lang.Object


Constructor Summary
Domain(Numberer numberer, PhysicalDomain phys)
           
 
Method Summary
 Numberer numberer()
           
 PhysicalDomain phys()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Domain

public Domain(Numberer numberer,
              PhysicalDomain phys)
Method Detail

numberer

public Numberer numberer()

phys

public PhysicalDomain phys()