/swish/pack/sCASP/prolog/scasp/nmr_check.pl
All Application Manual Name SummaryHelp

 assign_unique_ids2(+ListIn:list, -ListOut:list, +Counter:int) is det[private]
Assign each rule or goal (int) a unique ID, the current value of Counter. Call assign_unique_ids/2 instead of this predicate.
Arguments:
ListIn- A list of rules or goals without attached IDs.
ListOut- A list of rules or goals with unique IDs attached.
Counter- The next ID to assign.