CVC3
|
Proxy class for postfix increment. More...
#include <assumptions.h>
Public Member Functions | |
Proxy (const Theorem &t) | |
const Theorem & | operator* () |
Private Attributes | |
const Theorem * | d_t |
Proxy class for postfix increment.
Definition at line 141 of file assumptions.h.
|
inline |
Definition at line 144 of file assumptions.h.
|
inline |
Definition at line 145 of file assumptions.h.
References d_t.
|
private |
Definition at line 142 of file assumptions.h.
Referenced by operator*().