Searched refs:btor_node_param_is_forall_var (Results 1 – 5 of 5) sorted by relevance
202 assert (btor_node_param_is_forall_var (var)); in flat_model_get_value()691 assert (btor_node_param_is_forall_var (cur)); in setup_solvers()871 || !btor_node_param_is_forall_var (real_cur)); in build_refinement()885 assert (!btor_node_param_is_forall_var (real_cur)); in build_refinement()955 assert (btor_node_param_is_forall_var (arg)); in instantiate_args()1416 assert (btor_node_param_is_forall_var (var)); in select_inputs()1784 if (btor_node_param_is_forall_var (real_cur)) in instantiate_formula()1956 if (btor_node_param_is_forall_var (real_cur)) in build_quant_inst_refinement()1984 || !btor_node_param_is_forall_var (real_cur)); in build_quant_inst_refinement()1997 assert (!btor_node_param_is_forall_var (real_cur)); in build_quant_inst_refinement()
739 bool btor_node_param_is_forall_var (BtorNode *param);
1440 btor_node_param_is_forall_var (BtorNode *param) in btor_node_param_is_forall_var() function
89 && ((btor_node_param_is_forall_var (param) in occurs()92 && btor_node_param_is_forall_var (cur)))) in occurs()
1500 if (!btor_node_param_is_forall_var (var) || var != cur->e[0]) continue; in extract_macros()