|
|||||||||||
| 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 | ||||||||||