soot.relations
Class PhysicalDomain

java.lang.Object
  extended bysoot.relations.PhysicalDomain

public class PhysicalDomain
extends java.lang.Object


Constructor Summary
PhysicalDomain(int bits)
           
PhysicalDomain(int bits, java.lang.String name)
           
 
Method Summary
 int bits()
           
 int ithvar(int value)
           
static void setOrder(java.lang.Object[] order, boolean msbAtTop)
           
 java.lang.String toString()
           
 int var()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

PhysicalDomain

public PhysicalDomain(int bits)

PhysicalDomain

public PhysicalDomain(int bits,
                      java.lang.String name)
Method Detail

bits

public int bits()

toString

public java.lang.String toString()

var

public int var()

ithvar

public int ithvar(int value)

setOrder

public static void setOrder(java.lang.Object[] order,
                            boolean msbAtTop)