约束和自动布局后面的IOS算法

我正在尝试对 IOS中的layoutSubviews函数进行逆向工程,它会计算自动调整大小和约束.
通常,如果我们在订单中创建约束：A依赖(约束)B,B取决于C,并且C使用固定框架,则系统应该足够智能以按顺序实现计算：C – > B – > A以避免不必要的循环.

我的问题是：IOS(或算法是什么)如何遍历NSLayoutContraint列表并按此顺序计算帧？

只需回答以防任何人需要它：
IOS使用Cassowary工具包进行自动布局( http://www.cs.washington.edu/research/constraints/cassowary/)