Proxy class for postfix increment. More...
#include <assumptions.h>
Proxy class for postfix increment.
Definition at line 138 of file assumptions.h.
CVC3::Assumptions::iterator::Proxy::Proxy | ( | const Theorem & | t | ) | [inline] |
Definition at line 141 of file assumptions.h.
const Theorem& CVC3::Assumptions::iterator::Proxy::operator* | ( | ) | [inline] |
Definition at line 142 of file assumptions.h.
const Theorem* CVC3::Assumptions::iterator::Proxy::d_t [private] |
Definition at line 139 of file assumptions.h.
Referenced by CVC3::Assumptions::iterator::operator++().