/dports/math/cvc3/cvc3-2.4.1/src/include/ |
H A D | theory_quant.h | 92 ExprMap<Expr> binds; 400 ExprMap<bool> d_hasTriggers; 401 ExprMap<bool> d_hasMoreBVs; 474 ExprMap<CDO<size_t>* > d_eq_pos; 522 ExprMap<int> d_thmCount; 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); 693 void registerTrig(ExprMap<ExprMap<std::vector<dynTrig>* >* >& cur_trig_map, [all …]
|
H A D | theory_datatype.h | 57 ExprMap<ExprMap<unsigned> > d_datatypes; 59 ExprMap<std::vector<Expr> > d_constructorMap; 61 ExprMap<std::pair<Expr,unsigned> > d_selectorMap; 63 ExprMap<Expr> d_testerMap; 64 ExprMap<Op> d_reach; 73 ExprMap<bool> d_getConstantStack;
|
H A D | vc_cmd.h | 37 class ExprMap; variable 49 void printSymbols(Expr e, ExprMap<bool>& cache); 56 void findAxioms(const Expr& e, ExprMap<bool>& skolemAxioms, 57 ExprMap<bool>& visited);
|
H A D | expr_map.h | 62 class ExprMap { 79 friend class ExprMap; variable 120 friend class ExprMap; variable 165 ExprMap() { } in ExprMap() function 167 ExprMap(const ExprMap& map): d_map(map.d_map) { } in ExprMap() function 197 friend bool operator==(const ExprMap& m1, const ExprMap& m2) { 200 friend bool operator!=(const ExprMap& m1, const ExprMap& m2) {
|
H A D | theory_core.h | 114 ExprMap<Expr> d_parseCacheTop; 118 ExprMap<Expr> d_parseCacheOther; 120 ExprMap<Expr>* d_parseCache; 122 ExprMap<Expr> d_tccCache; 171 IF_DEBUG(ExprMap<bool> d_simpStack;) 357 ExprMap<Expr>& tccCache() { return d_tccCache; } in tccCache() 482 void buildModel(ExprMap<Expr>& m); 485 void collectModelValues(const Expr& e, ExprMap<Expr>& m);
|
H A D | translator.h | 35 template <class Data> class ExprMap; variable 48 template <class Data> class ExprMap; variable 125 Expr preprocessRec(const Expr& e, ExprMap<Expr>& cache); 126 Expr preprocess(const Expr& e, ExprMap<Expr>& cache); 127 Expr preprocess2Rec(const Expr& e, ExprMap<Expr>& cache, Type desiredType); 128 Expr preprocess2(const Expr& e, ExprMap<Expr>& cache);
|
H A D | theory_arith_old.h | 78 ExprMap<CDList<Ineq> *> d_inequalitiesRightDB; 81 ExprMap<CDList<Ineq> *> d_inequalitiesLeftDB; 137 ExprMap<std::vector<Expr> > d_edges; 138 ExprMap<bool> d_cache; 292 Theorem substAndCanonize(const Expr& t, ExprMap<Theorem>& subst); 350 ExprMap<Rational> maxCoefficientLeft; 351 ExprMap<Rational> maxCoefficientRight; 354 ExprMap<Rational> fixedMaxCoefficient; 445 typedef ExprMap< std::set< std::pair<Rational, Expr> > > AtomsMap; 454 ExprMap<bool> formulaAtoms; [all …]
|
/dports/math/cvc3/cvc3-2.4.1/src/search/ |
H A D | LFSCObject.h | 31 static ExprMap< int > nnode_map; 34 static ExprMap< Expr > cas_map; 46 static ExprMap<int> d_formulas; 48 static ExprMap<int> d_trusted; 50 static ExprMap<int> d_pn; 52 static ExprMap<int> d_pn_form; 54 static ExprMap<int> d_terms; 56 static ExprMap<bool> input_vars; 58 static ExprMap<bool> input_preds; 66 static ExprMap<bool> d_assump_map; [all …]
|
H A D | search_theorem_producer.h | 40 void checkSoundNoSkolems(const Expr& e, ExprMap<bool>& visited, 41 const ExprMap<bool>& skolems); 42 void checkSoundNoSkolems(const Theorem& t, ExprMap<bool>& visited, 43 const ExprMap<bool>& skolems); 205 ExprMap<Expr>& localCache,
|
/dports/lang/erlang-runtime23/otp-OTP-23.3.4.10/lib/hipe/rtl/ |
H A D | hipe_rtl_lcm.erl | 145 case expr_map_lookup(ExprMap, Expr) of 756 get_expr_ids(ExprMap, Instrs) -> 1264 mk_use_map(CFG, ExprMap) -> 1333 {ExprMap, IdMap}; 1340 {ExprMap, IdMap}; 1350 ReplRegs}, ExprMap), 1357 NewReplRegs}, ExprMap), 1692 pp_expr(ExprMap, IdMap, ExprId) -> 1698 pp_exprs(ExprMap, IdMap, [E|Es]) -> 1699 pp_expr(ExprMap, IdMap, E), [all …]
|
/dports/lang/erlang-runtime22/otp-OTP-22.3.4.24/lib/hipe/rtl/ |
H A D | hipe_rtl_lcm.erl | 145 case expr_map_lookup(ExprMap, Expr) of 756 get_expr_ids(ExprMap, Instrs) -> 1264 mk_use_map(CFG, ExprMap) -> 1333 {ExprMap, IdMap}; 1340 {ExprMap, IdMap}; 1350 ReplRegs}, ExprMap), 1357 NewReplRegs}, ExprMap), 1692 pp_expr(ExprMap, IdMap, ExprId) -> 1698 pp_exprs(ExprMap, IdMap, [E|Es]) -> 1699 pp_expr(ExprMap, IdMap, E), [all …]
|
/dports/lang/erlang-runtime21/otp-OTP-21.3.8.24/lib/hipe/rtl/ |
H A D | hipe_rtl_lcm.erl | 145 case expr_map_lookup(ExprMap, Expr) of 756 get_expr_ids(ExprMap, Instrs) -> 1264 mk_use_map(CFG, ExprMap) -> 1333 {ExprMap, IdMap}; 1340 {ExprMap, IdMap}; 1350 ReplRegs}, ExprMap), 1357 NewReplRegs}, ExprMap), 1692 pp_expr(ExprMap, IdMap, ExprId) -> 1698 pp_exprs(ExprMap, IdMap, [E|Es]) -> 1699 pp_expr(ExprMap, IdMap, E), [all …]
|
/dports/math/cvc3/cvc3-2.4.1/src/theory_quant/ |
H A D | theory_quant.cpp | 546 ExprMap<Expr> newExprMap; in simplifyExprMap() 1445 ExprMap<Expr> binding; in substMacro() 2650 ExprMap<Expr> bv_map; in registerTrig() 2675 ExprMap<vector<dynTrig>* >* new_cd_map= new ExprMap<vector<dynTrig>* > ; in registerTrig() 3042 ExprMap<Expr> null; in setupTriggers() 4193 ExprMap<ExprMap<std::vector<dynTrig>*>*>::iterator i = new_trigs.begin(); in delNewTrigs() 4194 ExprMap<ExprMap<std::vector<dynTrig>*>*>::iterator iend = new_trigs.end(); in delNewTrigs() 4211 ExprMap<ExprMap<std::vector<dynTrig>*>*>::iterator i = new_trigs.begin(); in combineOldNewTrigs() 4212 ExprMap<ExprMap<std::vector<dynTrig>*>*>::iterator iend = new_trigs.end(); in combineOldNewTrigs() 4271 void TheoryQuant::matchListNew(ExprMap<ExprMap<vector<dynTrig>*>*>& new_trigs, in matchListNew() [all …]
|
/dports/net/cloudquery/cloudquery-0.16.0/vendor/github.com/hashicorp/hcl/v2/ |
H A D | expr_map.go | 14 func ExprMap(expr Expression) ([]KeyValuePair, Diagnostics) { func 16 ExprMap() []KeyValuePair 25 if pairs := exM.ExprMap(); pairs != nil {
|
/dports/security/vault/vault-1.8.2/vendor/github.com/hashicorp/nomad/vendor/github.com/hashicorp/hcl2/hcl/ |
H A D | expr_map.go | 14 func ExprMap(expr Expression) ([]KeyValuePair, Diagnostics) { func 16 ExprMap() []KeyValuePair 25 if pairs := exM.ExprMap(); pairs != nil {
|
/dports/sysutils/nomad/nomad-1.1.0/vendor/github.com/hashicorp/hcl/v2/ |
H A D | expr_map.go | 14 func ExprMap(expr Expression) ([]KeyValuePair, Diagnostics) { func 16 ExprMap() []KeyValuePair 25 if pairs := exM.ExprMap(); pairs != nil {
|
/dports/sysutils/terraform/terraform-1.0.11/vendor/github.com/hashicorp/hcl/v2/ |
H A D | expr_map.go | 14 func ExprMap(expr Expression) ([]KeyValuePair, Diagnostics) { func 16 ExprMap() []KeyValuePair 25 if pairs := exM.ExprMap(); pairs != nil {
|
/dports/sysutils/terraform-provider-gridscale/terraform-provider-gridscale-1.6.2/vendor/github.com/hashicorp/hcl2/hcl/ |
H A D | expr_map.go | 14 func ExprMap(expr Expression) ([]KeyValuePair, Diagnostics) { func 16 ExprMap() []KeyValuePair 25 if pairs := exM.ExprMap(); pairs != nil {
|
/dports/sysutils/terraform-docs/terraform-docs-0.16.0/vendor/github.com/hashicorp/hcl/v2/ |
H A D | expr_map.go | 14 func ExprMap(expr Expression) ([]KeyValuePair, Diagnostics) { func 16 ExprMap() []KeyValuePair 25 if pairs := exM.ExprMap(); pairs != nil {
|
/dports/sysutils/terraform-switcher/terraform-switcher-0.13.1201/vendor/github.com/hashicorp/hcl2/hcl/ |
H A D | expr_map.go | 14 func ExprMap(expr Expression) ([]KeyValuePair, Diagnostics) { func 16 ExprMap() []KeyValuePair 25 if pairs := exM.ExprMap(); pairs != nil {
|
/dports/sysutils/terraform-provider-vultr/terraform-provider-vultr-0.1.10/vendor/github.com/hashicorp/hcl2/hcl/ |
H A D | expr_map.go | 14 func ExprMap(expr Expression) ([]KeyValuePair, Diagnostics) { func 16 ExprMap() []KeyValuePair 25 if pairs := exM.ExprMap(); pairs != nil {
|
/dports/devel/boost-python-libs/boost_1_72_0/libs/yap/example/ |
H A D | let.cpp | 29 template<typename ExprMap> 50 ExprMap map_; 59 template<typename ExprMap> 66 std::forward<Expr>(expr), let_terminal_transform<ExprMap>{map_}); in operator []() 69 ExprMap map_;
|
/dports/devel/boost-docs/boost_1_72_0/libs/yap/example/ |
H A D | let.cpp | 29 template<typename ExprMap> 50 ExprMap map_; 59 template<typename ExprMap> 66 std::forward<Expr>(expr), let_terminal_transform<ExprMap>{map_}); in operator []() 69 ExprMap map_;
|
/dports/devel/boost-libs/boost_1_72_0/libs/yap/example/ |
H A D | let.cpp | 29 template<typename ExprMap> 50 ExprMap map_; 59 template<typename ExprMap> 66 std::forward<Expr>(expr), let_terminal_transform<ExprMap>{map_}); in operator []() 69 ExprMap map_;
|
/dports/devel/hyperscan/boost_1_75_0/libs/yap/example/ |
H A D | let.cpp | 29 template<typename ExprMap> 50 ExprMap map_; 59 template<typename ExprMap> 66 std::forward<Expr>(expr), let_terminal_transform<ExprMap>{map_}); in operator []() 69 ExprMap map_;
|