Home
last modified time | relevance | path

Searched refs:ExprMap (Results 1 – 25 of 130) sorted by relevance

123456

/dports/math/cvc3/cvc3-2.4.1/src/include/
H A Dtheory_quant.h92 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 Dtheory_datatype.h57 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 Dvc_cmd.h37 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 Dexpr_map.h62 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 Dtheory_core.h114 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 Dtranslator.h35 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 Dtheory_arith_old.h78 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 DLFSCObject.h31 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 Dsearch_theorem_producer.h40 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 Dhipe_rtl_lcm.erl145 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 Dhipe_rtl_lcm.erl145 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 Dhipe_rtl_lcm.erl145 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 Dtheory_quant.cpp546 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 Dexpr_map.go14 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 Dexpr_map.go14 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 Dexpr_map.go14 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 Dexpr_map.go14 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 Dexpr_map.go14 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 Dexpr_map.go14 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 Dexpr_map.go14 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 Dexpr_map.go14 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 Dlet.cpp29 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 Dlet.cpp29 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 Dlet.cpp29 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 Dlet.cpp29 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_;

123456