|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
This defines an interface for memory. For faster access, try the
LargeMemoryInterface
interface.
Method Summary | |
BV |
getMemoryElement(int addr)
Return the given memory position |
BV[] |
getMemoryRange(int sIndex,
int elements)
Return the given memory range |
int |
getMemoryWidth()
Returns the memory width |
long |
getSize()
Returns the memory size |
Method Detail |
public BV[] getMemoryRange(int sIndex, int elements)
sIndex
- the starting indexelements
- how many entries to get
public BV getMemoryElement(int addr)
addr
- the memory address to get
public long getSize()
public int getMemoryWidth()
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |