Thomas Charles Conway conway at
Fri Jan 29 11:31:07 AEDT 1999


The type pred_marker is an abstract set of maker stored in the
pred_info. Of the possible markers, terminates and does_not_terminate
are two. Am I missing something, or should this information be associated
with the proc_info rather than the pred_info? (ie is it not possible for
one mode of a predicate to terminate, but another not?)

Thomas Conway <conway at> )O+
To a killer whale, otters are like hairy popcorn -- Paul Dayton

More information about the developers mailing list