Public Attributes
- std::vector< std::vector
< size_t > > common_pos - std::vector< std::vector
< size_t > > var_pos - std::vector< CDMap< Expr, bool > * > var_binds_found
- std::vector< ExprMap< CDList
< Expr > * > * > uncomm_list - Theorem univThm
- size_t univ_id
Detailed Description
Definition at line 406 of file theory_quant.h.
Member Data Documentation
| std::vector<std::vector<size_t> > CVC3::TheoryQuant::multTrigsInfo::common_pos |
Definition at line 407 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 408 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 410 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 412 of file theory_quant.h.
Referenced by CVC3::TheoryQuant::checkSat(), CVC3::TheoryQuant::setupTriggers(), and CVC3::TheoryQuant::synNewInst().
Definition at line 413 of file theory_quant.h.
Referenced by CVC3::TheoryQuant::checkSat(), and CVC3::TheoryQuant::setupTriggers().
Definition at line 414 of file theory_quant.h.
Referenced by CVC3::TheoryQuant::checkSat(), and CVC3::TheoryQuant::setupTriggers().
The documentation for this struct was generated from the following file:
