MemoryWrite Struct Reference

#include <findConstants.h>

Collaboration diagram for MemoryWrite:

[legend]List of all members.

---

Detailed Description

Information about the contents of memory at a given address.

The contents and address are both lattice elements and therefore can have unknown values.

Public Attributes
LatticeElement< 32 >	address
LatticeElement< 32 >	data
unsigned int	len
Friends
bool	operator== (const MemoryWrite &a, const MemoryWrite &b)
bool	operator< (const MemoryWrite &a, const MemoryWrite &b)

---

Friends And Related Function Documentation

bool operator==	(	const MemoryWrite &	a,
		const MemoryWrite &	b
	)			[friend]

bool operator<	(	const MemoryWrite &	a,
		const MemoryWrite &	b
	)			[friend]

---

Member Data Documentation

LatticeElement<32> MemoryWrite::address

LatticeElement<32> MemoryWrite::data

unsigned int MemoryWrite::len

---

The documentation for this struct was generated from the following file:

• findConstants.h

---