pred_markers

[Thomas Charles Conway]

Hi

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
-- 
Thomas Conway <conway at cs.mu.oz.au> )O+
To a killer whale, otters are like hairy popcorn -- Paul Dayton