Searched refs:dynTrig (Results 1 – 2 of 2) sorted by relevance
| /dports/math/cvc3/cvc3-2.4.1/src/include/ |
| H A D | theory_quant.h | 89 typedef struct dynTrig{ struct
93 dynTrig(Trigger t, ExprMap<Expr> b, size_t id); argument
94 } dynTrig; typedef
206 CDList<dynTrig> d_arrayTrigs;
554 void synCheckSat(ExprMap<ExprMap<std::vector<dynTrig>* >* >& , bool);
597 void matchListNew(ExprMap<ExprMap<std::vector<dynTrig>*>*>& new_trigs,
602 void delNewTrigs(ExprMap<ExprMap<std::vector<dynTrig>*>*>& new_trigs);
603 void combineOldNewTrigs(ExprMap<ExprMap<std::vector<dynTrig>*>*>& new_trigs);
689 ExprMap<CDMap<Expr, CDList<dynTrig>* >* > d_allmap_trigs;
693 void registerTrig(ExprMap<ExprMap<std::vector<dynTrig>* >* >& cur_trig_map,
[all …]
|
| /dports/math/cvc3/cvc3-2.4.1/src/theory_quant/ |
| H A D | theory_quant.cpp | 134 dynTrig::dynTrig(Trigger t, ExprMap<Expr> b, size_t id) in dynTrig() function in dynTrig
2645 dynTrig newDynTrig(trig, bv_map,univ_id); in registerTrig()
2669 dynTrig newDynTrig(trig,bv_map,univ_id); in registerTrig()
2675 ExprMap<vector<dynTrig>* >* new_cd_map= new ExprMap<vector<dynTrig>* > ; in registerTrig()
2677 vector<dynTrig>* new_dyntrig_list = new vector<dynTrig>; in registerTrig()
2685 vector<dynTrig>* new_dyntrig_list = new vector<dynTrig>; in registerTrig()
4201 vector<dynTrig>* trigs = j->second; in delNewTrigs()
4226 vector<dynTrig>* trigs = j->second; in combineOldNewTrigs()
4227 CDList<dynTrig>* old_cd_list = in combineOldNewTrigs()
4245 vector<dynTrig>* trigs = j->second; in combineOldNewTrigs()
[all …]
|