[ Please note: The project has been discontinued as of May 31, 2005 and is superseded by the projects of the ii Labs. There won't be further updates to these pages. ]

Positive and negative application conditions can be specified for the docking part as well as for the testing parts of a structural constraint. However, a positive application condition makes little sense for a testing part because the PAC's elements can also be expressed by regular elements.

On the other hand, positive application conditions in the docking part are useful. There is no difference with respect to the semantics. But in terms of computational efficiency, PACs can reduce the number of possible dockings.

In conclusion, for vertices of a docking part that do not appear in a testing part (i.e., without an identifier like :1), it might be better to include them in a PAC.

For questions, comments or suggestions, please contact us.

Last update:
January 31, 2002 by Alexander Nareyek