code: @Override
  	public void propagate(int evtmask) throws ContradictionException {
  		int nbK = 0;
  		int nbE = 0;
  		ISet env = g.getPotentialNodes();
  		for (int i : env) {
  			nbE += g.getPotSuccOrNeighOf(i).size();
  			nbK += g.getMandSuccOrNeighOf(i).size();
  		}
  		if (!g.isDirected()) {
  			nbK /= 2;
  			nbE /= 2;
  		}
  		filter(nbK, nbE);
  	}
docs: ***********************************************************************************