CVC3
2.4.1
|
#include <theory_quant.h>
Public Member Functions | |
dynTrig (Trigger t, ExprMap< Expr > b, size_t id) | |
Public Attributes | |
Trigger | trig |
size_t | univ_id |
ExprMap< Expr > | binds |
Definition at line 89 of file theory_quant.h.
Definition at line 134 of file theory_quant.cpp.
Trigger CVC3::dynTrig::trig |
Definition at line 90 of file theory_quant.h.
size_t CVC3::dynTrig::univ_id |
Definition at line 91 of file theory_quant.h.
Definition at line 92 of file theory_quant.h.