Home
last modified time | relevance | path

Searched refs:real_right (Results 1 – 16 of 16) sorted by relevance

/dports/math/boolector/boolector-3.2.2/src/
H A Dbtoraig.c429 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 Dbtorcore.c1367 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 DMyGUI_TileRect.cpp209 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 DMyGUI_TileRect.cpp209 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 DMyGUI_TileRect.cpp209 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 DMyGUI_TileRect.cpp209 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 Dseg.c77 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 Dseg.c77 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 Dseg.c77 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 Dbsp_node.cc78 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 Dwin32_image_util.cc83 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 Dwin32_image_util.cc83 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 Dwin32_image_util.cc83 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 Dwin32_image_util.cc83 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 Dwin32_image_util.cc83 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 Dwin32_image_util.cc83 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()