diff options
author | Michael I. Bushnell <mib@gnu.org> | 1995-08-30 15:51:41 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1995-08-30 15:51:41 +0000 |
commit | 72b7f4212f16326c465dcace478b2d679ea4e507 (patch) | |
tree | 705d8886a8dc2efc39c2e13f6ce21a6cfe91795e /libdirmgt | |
parent | 0b9692b6f3d8cd44b73b81bc634931c8ed0f0ebe (diff) |
(condition_implies, condition_unimplies): New functions.
(struct condition): New member `implications'.
(cond_imp): New structure.
(cond_signal): Return int now.
(condition_broadcast): Always call cond_broadcast if this condition
has implications.
(condition_signal): Always call cond_signal if this condition has
implications.
Diffstat (limited to 'libdirmgt')
0 files changed, 0 insertions, 0 deletions