Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

ida.pelab.prt.transformation
Class SymbolicAnalysis

java.lang.Object
  extended by ida.pelab.prt.transformation.SymbolicAnalysis

public class SymbolicAnalysis
extends java.lang.Object

Constructor Summary
SymbolicAnalysis()
           
 
Method Summary
static boolean compareMemoryAccessRange(cetus.hir.ArrayAccess frstArray, cetus.hir.ForLoop frstLoop, cetus.hir.ArrayAccess secArray, cetus.hir.ForLoop sec)
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

SymbolicAnalysis

public SymbolicAnalysis()
Method Detail

compareMemoryAccessRange

public static boolean compareMemoryAccessRange(cetus.hir.ArrayAccess frstArray,
                                               cetus.hir.ForLoop frstLoop,
                                               cetus.hir.ArrayAccess secArray,
                                               cetus.hir.ForLoop sec)
Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD