Inferring graphical constraints with Rockit

INTRODUCTION Graphical constraints defime relations among graphical objects that must be maintained by an un&rlying system. The automatic maintenance of these relations has become important in increasing the functionality of graphical editors and user interfhee builders. Yet this increase in functionality has also brought the users of these tools the difficult task of specifying the constraints generally by writing mathematical equations that define the relations which must hold.