Method Detail

• merge

  int merge(IntSet x,
            int j)

  Parameters:

  x - set of factoid numbers that previously have been established to hold at a program point

  j - a new factoid number which has been discovered to hold at a program point

  Returns:

  the factoid number z which should actually be propagated, based on a merge of the new fact j into the old state represented by x. return -1 if no fact should be propagated.