Private class for d_exprSet. More...
Private class for d_exprSet.
Definition at line 123 of file expr_manager.h.