#include <eval_exception.h>
Definition at line 44 of file eval_exception.h.
CVC3::ResetException::ResetException | ( | ) | [inline] |
Definition at line 47 of file eval_exception.h.
virtual CVC3::ResetException::~ResetException | ( | ) | [inline, virtual] |
Definition at line 49 of file eval_exception.h.