/dports/math/boolector/boolector-3.2.2/src/ |
H A D | btoraig.c | 429 BtorAIG *res, *real_left, *real_right; in btor_aig_and() local 453 real_right = BTOR_REAL_ADDR_AIG (right); in btor_aig_and() 468 || btor_aig_get_right_child (amgr, real_right) in btor_aig_and() 498 || btor_aig_get_right_child (amgr, real_right) in btor_aig_and() 551 if ((btor_aig_get_right_child (amgr, real_right) in btor_aig_and() 553 && btor_aig_get_left_child (amgr, real_right) in btor_aig_and() 555 || (btor_aig_get_right_child (amgr, real_right) in btor_aig_and() 656 if ((btor_aig_get_left_child (amgr, real_right) in btor_aig_and() 658 || (btor_aig_get_left_child (amgr, real_right) in btor_aig_and() 664 if ((btor_aig_get_right_child (amgr, real_right) in btor_aig_and() [all …]
|
H A D | btorcore.c | 1367 BtorNode *left, *right, *real_left, *real_right, *tmp, *inv, *var, *lambda; in normalize_substitution() local 1525 real_right = btor_node_real_addr (right); in normalize_substitution() 1527 if (!btor_node_is_bv_var (real_left) && !btor_node_is_bv_var (real_right) in normalize_substitution() 1528 && !btor_node_is_uf (real_left) && !btor_node_is_uf (real_right)) in normalize_substitution() 1551 if ((!btor_node_is_bv_var (real_left) && btor_node_is_bv_var (real_right)) in normalize_substitution() 1552 || (!btor_node_is_uf (real_left) && btor_node_is_uf (real_right))) in normalize_substitution()
|
/dports/x11-toolkits/mygui/mygui-MyGUI3.4.0/MyGUIEngine/src/ |
H A D | MyGUI_TileRect.cpp | 209 float real_right = real_left + (info.pixScaleX * (float)mCurrentCoord.width * 2); in doRender() local 275 if (vertex_right > real_right) in doRender() 278 if (vertex_left > real_right) in doRender() 283 vertex_right = real_right; in doRender()
|
/dports/x11-toolkits/mygui-ogre/mygui-MyGUI3.4.0/MyGUIEngine/src/ |
H A D | MyGUI_TileRect.cpp | 209 float real_right = real_left + (info.pixScaleX * (float)mCurrentCoord.width * 2); in doRender() local 275 if (vertex_right > real_right) in doRender() 278 if (vertex_left > real_right) in doRender() 283 vertex_right = real_right; in doRender()
|
/dports/x11-toolkits/mygui-opengl/mygui-MyGUI3.4.0/MyGUIEngine/src/ |
H A D | MyGUI_TileRect.cpp | 209 float real_right = real_left + (info.pixScaleX * (float)mCurrentCoord.width * 2); in doRender() local 275 if (vertex_right > real_right) in doRender() 278 if (vertex_left > real_right) in doRender() 283 vertex_right = real_right; in doRender()
|
/dports/x11-toolkits/mygui-dummy/mygui-MyGUI3.4.0/MyGUIEngine/src/ |
H A D | MyGUI_TileRect.cpp | 209 float real_right = real_left + (info.pixScaleX * (float)mCurrentCoord.width * 2); in doRender() local 275 if (vertex_right > real_right) in doRender() 278 if (vertex_left > real_right) in doRender() 283 vertex_right = real_right; in doRender()
|
/dports/games/glbsp/glbsp-2.20/ |
H A D | seg.c | 77 int real_right; member 369 info->real_right += seg_list->real_num; in EvalPartitionWorker() 383 if (check->linedef) info->real_right += 1; \ in EvalPartitionWorker() 563 info.real_right = 0; in EvalPartition() 571 if (!info.real_left || !info.real_right) in EvalPartition() 576 info.real_right ? "" : "right "); in EvalPartition() 583 info.cost += 100 * ABS(info.real_left - info.real_right); in EvalPartition() 600 info.real_left, info.mini_left, info.real_right, info.mini_right, in EvalPartition()
|
/dports/games/edge/Edge-1.35-source/glbsp/src/ |
H A D | seg.c | 77 int real_right; member 369 info->real_right += seg_list->real_num; in EvalPartitionWorker() 383 if (check->linedef) info->real_right += 1; \ in EvalPartitionWorker() 563 info.real_right = 0; in EvalPartition() 571 if (info.real_left == 0 || info.real_right == 0) in EvalPartition() 576 info.real_right ? "" : "right "); in EvalPartition() 583 info.cost += 100 * ABS(info.real_left - info.real_right); in EvalPartition() 600 info.real_left, info.mini_left, info.real_right, info.mini_right, in EvalPartition()
|
/dports/games/vavoom/vavoom-1.33/utils/glbsp/ |
H A D | seg.c | 77 int real_right; member 369 info->real_right += seg_list->real_num; in EvalPartitionWorker() 383 if (check->linedef) info->real_right += 1; \ in EvalPartitionWorker() 563 info.real_right = 0; in EvalPartition() 571 if (info.real_left == 0 || info.real_right == 0) in EvalPartition() 576 info.real_right ? "" : "right "); in EvalPartition() 583 info.cost += 100 * ABS(info.real_left - info.real_right); in EvalPartition() 600 info.real_left, info.mini_left, info.real_right, info.mini_right, in EvalPartition()
|
/dports/games/eureka/eureka-1.27b-source/src/ |
H A D | bsp_node.cc | 78 int real_right; member 94 real_right++; in BumpRight() 365 info->real_right += tree->real_num; in EvalPartitionWorker() 544 info.real_right = 0; in EvalPartition() 552 if (info.real_left == 0 || info.real_right == 0) in EvalPartition() 557 info.real_right ? "" : "right "); in EvalPartition() 564 info.cost += 100 * ABS(info.real_left - info.real_right); in EvalPartition() 581 info.real_left, info.mini_left, info.real_right, info.mini_right, in EvalPartition()
|
/dports/japanese/uim-mozc/mozc-2.23.2815.102.01/src/renderer/win32/ |
H A D | win32_image_util.cc | 83 double real_right = left + width; in GetBalloonBoundingRect() local 85 real_right += balloon_tail_height; in GetBalloonBoundingRect() 87 const int int_right = static_cast<int>(ceil(real_right)); in GetBalloonBoundingRect()
|
/dports/japanese/mozc-tool/mozc-2.23.2815.102.01/src/renderer/win32/ |
H A D | win32_image_util.cc | 83 double real_right = left + width; in GetBalloonBoundingRect() local 85 real_right += balloon_tail_height; in GetBalloonBoundingRect() 87 const int int_right = static_cast<int>(ceil(real_right)); in GetBalloonBoundingRect()
|
/dports/japanese/mozc-server/mozc-2.23.2815.102.01/src/renderer/win32/ |
H A D | win32_image_util.cc | 83 double real_right = left + width; in GetBalloonBoundingRect() local 85 real_right += balloon_tail_height; in GetBalloonBoundingRect() 87 const int int_right = static_cast<int>(ceil(real_right)); in GetBalloonBoundingRect()
|
/dports/japanese/mozc-el/mozc-2.23.2815.102.01/src/renderer/win32/ |
H A D | win32_image_util.cc | 83 double real_right = left + width; in GetBalloonBoundingRect() local 85 real_right += balloon_tail_height; in GetBalloonBoundingRect() 87 const int int_right = static_cast<int>(ceil(real_right)); in GetBalloonBoundingRect()
|
/dports/japanese/fcitx-mozc/mozc-2.23.2815.102.01/src/renderer/win32/ |
H A D | win32_image_util.cc | 83 double real_right = left + width; in GetBalloonBoundingRect() local 85 real_right += balloon_tail_height; in GetBalloonBoundingRect() 87 const int int_right = static_cast<int>(ceil(real_right)); in GetBalloonBoundingRect()
|
/dports/japanese/ibus-mozc/mozc-2.23.2815.102.01/src/renderer/win32/ |
H A D | win32_image_util.cc | 83 double real_right = left + width; in GetBalloonBoundingRect() local 85 real_right += balloon_tail_height; in GetBalloonBoundingRect() 87 const int int_right = static_cast<int>(ceil(real_right)); in GetBalloonBoundingRect()
|