soot.relations
Class PhysicalDomain

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

public class PhysicalDomain
extends java.lang.Object


Constructor Summary
PhysicalDomain(int bits)
           
 
Method Summary
 int ithvar(int value)
           
 int var()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

PhysicalDomain

public PhysicalDomain(int bits)
Method Detail

var

public int var()

ithvar

public int ithvar(int value)