CVC3
|
Postfix increment requires a Proxy object to hold the intermediate value for dereferencing. More...
#include <expr.h>
Public Member Functions | |
Proxy (const Expr &e) | |
Expr | operator* () |
Private Attributes | |
const Expr * | d_e |
Postfix increment requires a Proxy object to hold the intermediate value for dereferencing.