| /dports/devel/codeblocks/codeblocks-20.03/src/include/ |
| H A D | macrosmanager.h | 78 …wxString EvalCondition(const wxString& cond, const wxString& true_clause, const wxString& false_cl…
|
| /dports/cad/iverilog/verilog-11.0/vhdlpp/ |
| H A D | architec_emit.cc | 161 ivl_assert(*this, cas->true_clause().size() == 1); in emit()
162 const Expression*rval = cas->true_clause().front(); in emit()
|
| H A D | expression.h | 535 inline const std::list<Expression*>& true_clause() const { return true_clause_; } in true_clause() function
|
| /dports/devel/codeblocks/codeblocks-20.03/src/sdk/ |
| H A D | macrosmanager.cpp | 634 wxString MacrosManager::EvalCondition(const wxString& in_cond, const wxString& true_clause, const w… in EvalCondition() argument
665 return true_clause; in EvalCondition()
683 return condCode & compare ? true_clause : false_clause; in EvalCondition()
|
| /dports/math/yices/yices-2.6.2/src/solvers/bv/ |
| H A D | bit_blaster.c | 584 bool true_clause; in push_binary_clause() local
590 true_clause = sclause_push(s, buffer, i, a) || sclause_push(s, buffer, i, b); in push_binary_clause()
591 if (! true_clause) { in push_binary_clause()
602 bool true_clause; in push_ternary_clause() local
608 true_clause = sclause_push(s, buffer, i, a) || sclause_push(s, buffer, i, b) || in push_ternary_clause()
610 if (! true_clause) { in push_ternary_clause()
622 bool true_clause; in push_quad_clause() local
628 true_clause = sclause_push(s, buffer, i, a) || sclause_push(s, buffer, i, b) || in push_quad_clause()
630 if (! true_clause) { in push_quad_clause()
|
| H A D | new_bit_blaster.c | 582 bool true_clause; in push_binary_clause() local
588 true_clause = sclause_push(s, buffer, i, a) || sclause_push(s, buffer, i, b); in push_binary_clause()
589 if (! true_clause) { in push_binary_clause()
600 bool true_clause; in push_ternary_clause() local
606 true_clause = sclause_push(s, buffer, i, a) || sclause_push(s, buffer, i, b) || in push_ternary_clause()
608 if (! true_clause) { in push_ternary_clause()
620 bool true_clause; in push_quad_clause() local
626 true_clause = sclause_push(s, buffer, i, a) || sclause_push(s, buffer, i, b) || in push_quad_clause()
628 if (! true_clause) { in push_quad_clause()
|
| /dports/math/yices/yices-2.6.2/src/solvers/cdcl/ |
| H A D | new_sat_solver2.c | 5589 bool true_clause; in pp_visit_clause() local
5595 true_clause = false; in pp_visit_clause()
5602 true_clause = true; // fall-through intended to keep the occ counts accurate in pp_visit_clause()
5615 if (true_clause) { in pp_visit_clause()
|
| H A D | new_sat_solver.c | 5963 bool true_clause; in pp_visit_clause() local
5969 true_clause = false; in pp_visit_clause()
5976 true_clause = true; // fall-through intended to keep the occ counts accurate in pp_visit_clause()
5989 if (true_clause) { in pp_visit_clause()
|
| /dports/lang/elixir/elixir-1.12.3/lib/elixir/lib/ |
| H A D | kernel.ex | 1797 defp build_boolean_check(operator, check, true_clause, false_clause) do
1802 true -> unquote(true_clause)
|
| /dports/lang/elixir-devel/elixir-1.13.1/lib/elixir/lib/ |
| H A D | kernel.ex | 1828 defp build_boolean_check(operator, check, true_clause, false_clause) do
1833 true -> unquote(true_clause)
|