/*
 * Revision Control Information
 *
 * $Source$
 * $Author$
 * $Revision$
 * $Date$
 *
 */
#include "reductio.h"

existdf(class,chain)
pset class;
pset_family chain;

{
  /* checks whether "class" is already included in "chain" */

  pset p;
  int found,ident;
  int i,j;

  foreachi_set (chain, i, p) {
	if (setp_implies (class, p)) {
		return 1;
	}
  }
  return 0;
}