ORCSolver：一个用于具有OR约束的自适应GUI布局的有效求解器

视频

DOI

OR约束（ORC）图形用户界面布局统一了传统的基于约束的布局与流布局，这使得仅通过单一布局规范即可定义灵活的布局，这些布局能够适应不同大小、方向或纵横比的屏幕。不幸的是，使用当前求解器解决ORC布局需要耗费大量时间，且所需时间随着小部件和约束的数量呈指数级增长。为了解决这一挑战，我们提出了ORCSolver，这是一种基于分支定界法并结合启发式预处理的新型自适应ORC布局求解技术。我们证明了ORCSolver能够在运行时简化ORC规范，而且我们的方法能够以接近交互式的速率高效地求解ORC布局规范。