Home
last modified time | relevance | path

Searched refs:is_pure_expr (Results 1 – 11 of 11) sorted by relevance

/dports/lang/erlang-runtime23/otp-OTP-23.3.4.10/lib/hipe/cerl/
H A Dcerl_lib.erl29 -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 Dcerl_lib.erl29 -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 Dcerl_lib.erl29 -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 Dcerl_lib.erl29 -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 Dcerl_lib.erl29 -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 Dcerl_lib.erl29 -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 Dcerl_lib.erl29 -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 Dspacer_farkas_learner.h37 bool is_pure_expr(func_decl_set const& symbs, expr* e, ast_manager& m) const;
H A Dspacer_farkas_learner.cpp93 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 Dspacer_farkas_learner.h37 bool is_pure_expr(func_decl_set const& symbs, expr* e, ast_manager& m) const;
H A Dspacer_farkas_learner.cpp93 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()