Definition at line 295 of file theory_quant.h.
std::vector<std::vector<size_t> > CVC3::TheoryQuant::multTrigsInfo::common_pos |
Definition at line 296 of file theory_quant.h.
Referenced by CVC3::TheoryQuant::setupTriggers(), and CVC3::TheoryQuant::synNewInst().
std::vector<std::vector<size_t> > CVC3::TheoryQuant::multTrigsInfo::var_pos |
Definition at line 297 of file theory_quant.h.
Referenced by CVC3::TheoryQuant::setupTriggers(), and CVC3::TheoryQuant::synNewInst().
std::vector<CDMap<Expr, bool>* > CVC3::TheoryQuant::multTrigsInfo::var_binds_found |
Definition at line 299 of file theory_quant.h.
Referenced by CVC3::TheoryQuant::setupTriggers(), and CVC3::TheoryQuant::synNewInst().
std::vector<ExprMap<CDList<Expr>* >* > CVC3::TheoryQuant::multTrigsInfo::uncomm_list |
Definition at line 301 of file theory_quant.h.
Referenced by CVC3::TheoryQuant::setupTriggers(), and CVC3::TheoryQuant::synNewInst().