天蓝色

天蓝:一种用于用户界面构建的多路局部传播约束求解器许多用户界面工具包使用约束求解器来维护图形对象之间的几何关系,或将图形连接到应用程序数据结构。一种有效且灵活的约束维护技术是多向局部传播,其中约束由一组方法过程表示。为了满足一组约束,局部传播解算器从每个约束中执行一种方法。SkyBlue是一种增量约束解算器,它在添加和删除单个约束时使用局部传播来维护一组约束。如果所有的约束都不能满足,SkyBlue将不满足较弱的约束,以满足更强的约束(保持约束层次结构)。SkyBlue是Deltable算法的一个更通用的继承者,它通过调用外部循环解算器来满足方法的循环,并支持多输出方法。这些特性使SkyBlue在构建用户界面时更为有用,因为在用户界面应用程序中经常出现约束循环,并且需要使用多输出方法来表示一些有用的约束。本文讨论了一些使用SkyBlue的应用程序,给出了一些用户界面基准测试的时间,并详细描述了SkyBlue算法。

这个软件也是同行评审按日记帐汤姆斯.