📄 http:^^www.cs.washington.edu^research^projects^weird^www^debugging-ppcp-94.html
字号:
Date: Tue, 10 Dec 1996 03:25:13 GMTServer: NCSA/1.4.2Content-type: text/html<html><head><TITLE>Analyzing and Debugging Hierarchies of Multi-Way Local Propagation Constraints</title></head><body><H2>Analyzing and Debugging Hierarchies of Multi-Way Local PropagationConstraints</H2><p>Author: Michael Sannella<p>In Alan Borning (ed.), <em>Proceedings of the 1994 Workshop on Principlesand Practice of Constraint Programming</em>, Springer-Verlag, Lecture Notesin Computer Science No. 874, pages 63-77.<P><hr><H3>Abstract</H3>Multi-way local propagation constraints are a powerful and flexible toolfor implementing applications such as graphical user interfaces. SkyBlueis an incremental constraint solver that uses local propagation to maintaina set of constraints as individual constraints are added and removed. Ifall of the constraints cannot be satisfied, SkyBlue leaves weakerconstraints unsatisfied in order to satisfy stronger constraints(maintaining a constraint hierarchy). Our experience has indicated thatlarge constraint networks can be difficult to construct and understand. Toinvestigate this problem, we have developed the CNV system forinteractively constructing constraint-based user interfaces, integratedwith tools for displaying and analyzing constraint networks. This paperdescribes the debugging facilities of CNV, and presents a new algorithm forenumerating all of the ways that SkyBlue could maintain a set ofconstraints.<P><HR><P>Click <!WA0><a href="ftp://cs.washington.edu/pub/constraints/papers/debug-ppcp-94.ps.Z">here</a> to get the postscript file.<P>Return to <!WA1><a href="http://www.cs.washington.edu/research/projects/weird/www/index.html">Constraints home page</a>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -