Expression classes for byte-level operators.
More...
#include "invariant.h"
#include "std_expr.h"
Go to the source code of this file.
|
class | byte_extract_exprt |
| Expression of type type extracted from some object op starting at position offset (given in number of bytes). More...
|
|
class | byte_update_exprt |
| Expression corresponding to op() where the bytes starting at position offset (given in number of bytes) have been updated with value . More...
|
|
Expression classes for byte-level operators.
- Author
- Daniel Kroening kroen.nosp@m.ing@.nosp@m.kroen.nosp@m.ing..nosp@m.com
- Date
- Sun Jul 31 21:54:44 BST 2011
Definition in file byte_operators.h.
◆ byte_extract_id()
◆ byte_update_id()
◆ can_cast_expr< byte_extract_exprt >()
◆ can_cast_expr< byte_update_exprt >()
◆ to_byte_extract_expr() [1/2]
◆ to_byte_extract_expr() [2/2]
◆ to_byte_update_expr() [1/2]
◆ to_byte_update_expr() [2/2]
◆ validate_expr()