/dports/lang/erlang-runtime23/otp-OTP-23.3.4.10/lib/hipe/cerl/ |
H A D | cerl_lib.erl | 29 -export([is_safe_expr/1, is_pure_expr/1, is_pure_expr/2, 239 is_pure_expr(E) -> function 241 is_pure_expr(E, Check). 245 is_pure_expr(E, Check) -> function 260 is_pure_expr(cerl:cons_tl(E), Check); 267 is_pure_expr(cerl:let_body(E), Check); 272 is_pure_expr(cerl:letrec_body(E), Check); 276 is_pure_expr(cerl:seq_body(E), Check); 281 is_pure_expr(cerl:catch_body(E), Check); 287 is_pure_expr(cerl:try_handler(E), Check); [all …]
|
/dports/lang/erlang-runtime24/otp-OTP-24.1.7/lib/dialyzer/src/ |
H A D | cerl_lib.erl | 29 -export([is_safe_expr/1, is_pure_expr/1, is_pure_expr/2, 239 is_pure_expr(E) -> function 241 is_pure_expr(E, Check). 245 is_pure_expr(E, Check) -> function 260 is_pure_expr(cerl:cons_tl(E), Check); 267 is_pure_expr(cerl:let_body(E), Check); 272 is_pure_expr(cerl:letrec_body(E), Check); 276 is_pure_expr(cerl:seq_body(E), Check); 281 is_pure_expr(cerl:catch_body(E), Check); 287 is_pure_expr(cerl:try_handler(E), Check); [all …]
|
/dports/lang/erlang-runtime22/otp-OTP-22.3.4.24/lib/hipe/cerl/ |
H A D | cerl_lib.erl | 29 -export([is_safe_expr/1, is_pure_expr/1, is_pure_expr/2, 239 is_pure_expr(E) -> function 241 is_pure_expr(E, Check). 245 is_pure_expr(E, Check) -> function 260 is_pure_expr(cerl:cons_tl(E), Check); 267 is_pure_expr(cerl:let_body(E), Check); 272 is_pure_expr(cerl:letrec_body(E), Check); 276 is_pure_expr(cerl:seq_body(E), Check); 281 is_pure_expr(cerl:catch_body(E), Check); 287 is_pure_expr(cerl:try_handler(E), Check); [all …]
|
/dports/lang/erlang-wx/otp-OTP-24.1.7/lib/dialyzer/src/ |
H A D | cerl_lib.erl | 29 -export([is_safe_expr/1, is_pure_expr/1, is_pure_expr/2, 239 is_pure_expr(E) -> function 241 is_pure_expr(E, Check). 245 is_pure_expr(E, Check) -> function 260 is_pure_expr(cerl:cons_tl(E), Check); 267 is_pure_expr(cerl:let_body(E), Check); 272 is_pure_expr(cerl:letrec_body(E), Check); 276 is_pure_expr(cerl:seq_body(E), Check); 281 is_pure_expr(cerl:catch_body(E), Check); 287 is_pure_expr(cerl:try_handler(E), Check); [all …]
|
/dports/lang/erlang/otp-OTP-24.1.7/lib/dialyzer/src/ |
H A D | cerl_lib.erl | 29 -export([is_safe_expr/1, is_pure_expr/1, is_pure_expr/2, 239 is_pure_expr(E) -> function 241 is_pure_expr(E, Check). 245 is_pure_expr(E, Check) -> function 260 is_pure_expr(cerl:cons_tl(E), Check); 267 is_pure_expr(cerl:let_body(E), Check); 272 is_pure_expr(cerl:letrec_body(E), Check); 276 is_pure_expr(cerl:seq_body(E), Check); 281 is_pure_expr(cerl:catch_body(E), Check); 287 is_pure_expr(cerl:try_handler(E), Check); [all …]
|
/dports/lang/erlang-runtime21/otp-OTP-21.3.8.24/lib/hipe/cerl/ |
H A D | cerl_lib.erl | 29 -export([is_safe_expr/1, is_pure_expr/1, is_pure_expr/2, 239 is_pure_expr(E) -> function 241 is_pure_expr(E, Check). 245 is_pure_expr(E, Check) -> function 260 is_pure_expr(cerl:cons_tl(E), Check); 267 is_pure_expr(cerl:let_body(E), Check); 272 is_pure_expr(cerl:letrec_body(E), Check); 276 is_pure_expr(cerl:seq_body(E), Check); 281 is_pure_expr(cerl:catch_body(E), Check); 287 is_pure_expr(cerl:try_handler(E), Check); [all …]
|
/dports/lang/erlang-java/otp-OTP-24.1.7/lib/dialyzer/src/ |
H A D | cerl_lib.erl | 29 -export([is_safe_expr/1, is_pure_expr/1, is_pure_expr/2, 239 is_pure_expr(E) -> function 241 is_pure_expr(E, Check). 245 is_pure_expr(E, Check) -> function 260 is_pure_expr(cerl:cons_tl(E), Check); 267 is_pure_expr(cerl:let_body(E), Check); 272 is_pure_expr(cerl:letrec_body(E), Check); 276 is_pure_expr(cerl:seq_body(E), Check); 281 is_pure_expr(cerl:catch_body(E), Check); 287 is_pure_expr(cerl:try_handler(E), Check); [all …]
|
/dports/math/z3/z3-z3-4.8.13/src/muz/spacer/ |
H A D | spacer_farkas_learner.h | 37 bool is_pure_expr(func_decl_set const& symbs, expr* e, ast_manager& m) const;
|
H A D | spacer_farkas_learner.cpp | 93 bool farkas_learner::is_pure_expr(func_decl_set const& symbs, expr* e, ast_manager& m) const in is_pure_expr() function in spacer::farkas_learner 255 if (is_pure_expr(Bsymbs, fact, m)) { in get_lemmas() 286 if (!is_pure_expr(Bsymbs, m.get_fact(p), m)) { in get_lemmas()
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/muz/spacer/ |
H A D | spacer_farkas_learner.h | 37 bool is_pure_expr(func_decl_set const& symbs, expr* e, ast_manager& m) const;
|
H A D | spacer_farkas_learner.cpp | 93 bool farkas_learner::is_pure_expr(func_decl_set const& symbs, expr* e, ast_manager& m) const in is_pure_expr() function in spacer::farkas_learner 255 if (is_pure_expr(Bsymbs, fact, m)) { in get_lemmas() 286 if (!is_pure_expr(Bsymbs, m.get_fact(p), m)) { in get_lemmas()
|