Interface for lattice elements.
More...
List of all members.
Public Member Functions |
| boolean | lessThan (LatticeElement rhs) |
| | Checks whether the element is less than the passed element.
|
Package Functions |
| boolean | equals (LatticeElement rhs) |
| | Compares two lattice elements.
|
Detailed Description
Interface that must be implemented by all lattice elements.
- Parameters:
-
| <LatticeElement> | Type of the lattice elements. |
Member Function Documentation
| boolean BinNavi.API.reil.mono.ILatticeElement< LatticeElement extends ILatticeElement<?> >.equals |
( |
LatticeElement |
rhs |
) |
[package] |
Compares two lattice elements.
- Parameters:
-
| rhs | The right-hand-side lattice element of the comparison. |
- Returns:
- True, if the two lattice elements are equal. False, otherwise.
| boolean BinNavi.API.reil.mono.ILatticeElement< LatticeElement extends ILatticeElement<?> >.lessThan |
( |
LatticeElement |
rhs |
) |
|
Checks whether the element is less than the passed element.
Note that this function does not really have any effect on the calculation. It is only needed for debugging purposes because it is used to make sure that state updates are monotonous. If you do not want to have this additional error checking you can just return false from this function (this is obviously not recommended).
- Parameters:
-
| rhs | The right-hand-side lattice element of the comparison. |
- Returns:
- True, if the element is less than the given element. False, otherwise.
