METHODS FOR DETERMINING IF BOUNDARY DISTANCE CONSTRAINTS BETWEEN SHAPES ARE SATISFIED

摘要

This disclosure describes methods for determining if arrangements of shapes satisfy exact or approximate analytical function representations of boundary distance constraints among those shapes. The first embodiment includes the following steps: (a) constructing a function which is an exact or approximate analytical representation of the constraint between two shapes; and (b) evaluating the function of step (a) to determine if the constraint between the two shapes is exactly or approximately satisfied. The second embodiment includes the following steps: (a) constructing a function which is an exact or approximate analytical representation of the constraint between two shapes; (b) assigning values to variables and/or parameters of the function constructed in step (a); and (c) evaluating the function of step (a) using the assignments of step (b) to determine if the constraint between the two shapes is exactly or approximately satisfied.